/* Enable or disable the main counter in the HPET Timer. */
VOID HpetEnable(IN BOOLEAN Enable)
/* Enable or disable the main counter in the HPET Timer. */
VOID HpetEnable(IN BOOLEAN Enable)
{
  mHpetGeneralConfiguration.Bits.MainCounterEnable = Enable ? 1 : 0;
  HpetWrite (HPET_GENERAL_CONFIGURATION_OFFSET, mHpetGeneralConfiguration.Uint64);
}