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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DEbc.h93 (EFIAPI *EBC_ICACHE_FLUSH)( typedef
112 IN EBC_ICACHE_FLUSH Flush
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/EbcDxe/
H A DEbcInt.c213 IN EBC_ICACHE_FLUSH Flush
333 EBC_ICACHE_FLUSH mEbcICacheFlush;
1190 IN EBC_ICACHE_FLUSH Flush
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/Image/
H A DImage.c668 Status = Image->Ebc->RegisterICacheFlush (Image->Ebc, (EBC_ICACHE_FLUSH)InvalidateInstructionCacheRange);

Completed in 254 milliseconds