Searched refs:EFI_CPU_GET_TIMER_VALUE (Results 1 – 1 of 1) sorted by relevance
214 (EFIAPI *EFI_CPU_GET_TIMER_VALUE)( typedef266 EFI_CPU_GET_TIMER_VALUE GetTimerValue;