Searched refs:mHpetGeneralCapabilities (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/
H A DHpetTimer.c216 HPET_GENERAL_CAPABILITIES_ID_REGISTER mHpetGeneralCapabilities; variable
388 mHpetGeneralCapabilities.Bits.CounterClockPeriod
558 mHpetGeneralCapabilities.Bits.CounterClockPeriod
711 mHpetGeneralCapabilities.Bits.CounterClockPeriod
775 mHpetGeneralCapabilities.Uint64 = HpetRead (HPET_GENERAL_CAPABILITIES_ID_OFFSET);
782 ASSERT (mHpetGeneralCapabilities.Uint64 != 0);
783 ASSERT (mHpetGeneralCapabilities.Uint64 != 0xFFFFFFFFFFFFFFFFULL);
784 if (mHpetGeneralCapabilities.Uint64 == 0 || mHpetGeneralCapabilities.Uint64 == 0xFFFFFFFFFFFFFFFFULL) {
799 DEBUG ((DEBUG_INFO, " HPET_GENERAL_CAPABILITIES_ID = 0x%016lx\n", mHpetGeneralCapabilities));
[all...]

Completed in 1472 milliseconds