Searched refs:EFI_EBC_REGISTER_ICACHE_FLUSH (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DEbc.h83 of this type is passed to the EBC EFI_EBC_REGISTER_ICACHE_FLUSH protocol service.
110 (EFIAPI *EFI_EBC_REGISTER_ICACHE_FLUSH)( typedef
144 EFI_EBC_REGISTER_ICACHE_FLUSH RegisterICacheFlush;

Completed in 100 milliseconds