771   DEBUG ((DEBUG_INFO, "Init HPET Timer Driver\n"));  in TimerDriverInitialize()
810     DEBUG ((DEBUG_INFO, "HPET Base Address = 0x%08x\n", PcdGet32 (PcdHpetBaseAddress)));  in TimerDriverInitialize()
811     DEBUG ((DEBUG_INFO, "  HPET_GENERAL_CAPABILITIES_ID  = 0x%016lx\n", mHpetGeneralCapabilities));  in TimerDriverInitialize()
812 …DEBUG ((DEBUG_INFO, "  HPET_GENERAL_CONFIGURATION    = 0x%016lx\n", mHpetGeneralConfiguration.Uint…  in TimerDriverInitialize()
813 …DEBUG ((DEBUG_INFO, "  HPET_GENERAL_INTERRUPT_STATUS = 0x%016lx\n", HpetRead (HPET_GENERAL_INTERRU…  in TimerDriverInitialize()
814 …DEBUG ((DEBUG_INFO, "  HPET_MAIN_COUNTER             = 0x%016lx\n", HpetRead (HPET_MAIN_COUNTER_OF…  in TimerDriverInitialize()
815 …DEBUG ((DEBUG_INFO, "  HPET Main Counter Period      = %d (fs)\n", mHpetGeneralCapabilities.Bits.C…  in TimerDriverInitialize()
817 …DEBUG ((DEBUG_INFO, "  HPET_TIMER%d_CONFIGURATION     = 0x%016lx\n", TimerIndex, HpetRead (HPET_TI…  in TimerDriverInitialize()
818 …DEBUG ((DEBUG_INFO, "  HPET_TIMER%d_COMPARATOR        = 0x%016lx\n", TimerIndex, HpetRead (HPET_TI…  in TimerDriverInitialize()
819 …DEBUG ((DEBUG_INFO, "  HPET_TIMER%d_MSI_ROUTE         = 0x%016lx\n", TimerIndex, HpetRead (HPET_TI…  in TimerDriverInitialize()
929     DEBUG ((DEBUG_INFO, "Choose 64-bit HPET timer.\n"));  in TimerDriverInitialize()
940     DEBUG ((DEBUG_INFO, "Choose 32-bit HPET timer.\n"));  in TimerDriverInitialize()
969       DEBUG ((DEBUG_INFO, "HPET Interrupt Mode MSI\n"));  in TimerDriverInitialize()
971       DEBUG ((DEBUG_INFO, "HPET Interrupt Mode I/O APIC\n"));  in TimerDriverInitialize()
972       DEBUG ((DEBUG_INFO, "HPET I/O APIC IRQ         = 0x%02x\n",  mTimerIrq));  in TimerDriverInitialize()
974 … DEBUG ((DEBUG_INFO, "HPET Interrupt Vector     = 0x%02x\n",    PcdGet8 (PcdHpetLocalApicVector)));  in TimerDriverInitialize()
975     DEBUG ((DEBUG_INFO, "HPET Counter Mask         = 0x%016lx\n",  mCounterMask));  in TimerDriverInitialize()
976     DEBUG ((DEBUG_INFO, "HPET Timer Period         = %d\n",        mTimerPeriod));  in TimerDriverInitialize()
977     DEBUG ((DEBUG_INFO, "HPET Timer Count          = 0x%016lx\n",  mTimerCount));  in TimerDriverInitialize()
978 …DEBUG ((DEBUG_INFO, "HPET_TIMER%d_CONFIGURATION = 0x%016lx\n", mTimerIndex, HpetRead (HPET_TIMER_C…  in TimerDriverInitialize()
979 …DEBUG ((DEBUG_INFO, "HPET_TIMER%d_COMPARATOR    = 0x%016lx\n", mTimerIndex, HpetRead (HPET_TIMER_C…  in TimerDriverInitialize()
980 …DEBUG ((DEBUG_INFO, "HPET_TIMER%d_MSI_ROUTE     = 0x%016lx\n", mTimerIndex, HpetRead (HPET_TIMER_M…  in TimerDriverInitialize()