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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DCpu.h92 (EFIAPI *EFI_CPU_FLUSH_DATA_CACHE)( typedef
274 EFI_CPU_FLUSH_DATA_CACHE FlushDataCache;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Protocol/
H A DCpu.h94 (EFIAPI *EFI_CPU_FLUSH_DATA_CACHE)( typedef
274 EFI_CPU_FLUSH_DATA_CACHE FlushDataCache;

Completed in 55 milliseconds