Searched refs:ApicTimerFrequency (Results 1 – 1 of 1) sorted by relevance
33 UINT32 ApicTimerFrequency; in InitializeDebugTimer() local37 ApicTimerFrequency = PcdGet32(PcdFSBClock) / (UINT32)ApicTimerDivisor; in InitializeDebugTimer()43 ApicTimerFrequency, in InitializeDebugTimer()59 DEBUG ((EFI_D_INFO, "Debug Timer: Frequency = %d\n", ApicTimerFrequency)); in InitializeDebugTimer()63 *TimerFrequency = ApicTimerFrequency; in InitializeDebugTimer()