Searched defs:EFI_CPU_GET_TIMER_VALUE (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DCpu.h226 (EFIAPI *EFI_CPU_GET_TIMER_VALUE)( typedef
280 EFI_CPU_GET_TIMER_VALUE GetTimerValue;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Protocol/
H A DCpu.h228 (EFIAPI *EFI_CPU_GET_TIMER_VALUE)( typedef
280 EFI_CPU_GET_TIMER_VALUE GetTimerValue;

Completed in 33 milliseconds