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

/vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/
H A DHpetTimer.c222 HPET_GENERAL_CONFIGURATION_REGISTER mHpetGeneralConfiguration; variable
280 mHpetGeneralConfiguration.Bits.MainCounterEnable = Enable ? 1 : 0;
281 HpetWrite (HPET_GENERAL_CONFIGURATION_OFFSET, mHpetGeneralConfiguration.Uint64);
776 mHpetGeneralConfiguration.Uint64 = HpetRead (HPET_GENERAL_CONFIGURATION_OFFSET);
800 DEBUG ((DEBUG_INFO, " HPET_GENERAL_CONFIGURATION = 0x%016lx\n", mHpetGeneralConfiguration.Uint64));

Completed in 215 milliseconds