Intel Extensible Firmware Interface - Manual (Page 841)

EFI Byte Code Virtual Machine
Version 1.10 12/01/02 19-67
EFI_EBC_PROTOCOL.RegisterICacheFlush()
Summary
Registers a callback function that the EBC interpreter calls to flush the processor instruction cache
following creation of thunks.
Prototype
typedef
EFI_STATUS
(* EFI_EBC_REGISTER_ICACHE_FLUSH) (
IN EFI_EBC_PROTOCOL
*This,
IN EBC_ICACHE_FLUSH Flush
);
Parameters
This A pointer to the EFI_EBC_PROTOCOL instance. This protocol is
defined in Section 19.11.
Flush Pointer to a function of type EBC_ICACH_FLUSH . See “Related
Definitions” below for a detailed description of this type.
Related Definitions
typedef
EFI_STATUS
(* EBC_ICACHE_FLUSH) (
IN EFI_PHYSICAL_ADDRESS
Start,
IN UINT64 Length
);
Start The beginning physical address to flush from the processor’s
instruction cache.
Length The number of bytes to flush from the processor’s instruction
cache.
This is the prototype for the Flush callback routine. A pointer to a routine of this type is passed
to the EBC EFI_EBC_REGISTER_ICACHE_FLUSH protocol service.