もし、HPETをBIOSがACPIで正しくセットアップできるのならば、ACPIMMIOページが最初に0xFED00000と次に0xFED80000があるはずである。
如果HPET由BIOS在ACPI中正确设置，则首个HPET芯片的ACPIMMIO页应该在0xFED00000，第二个HPET页在0xFED80000。