/* Registers a callback function that the EBC interpreter calls to flush the processor instruction cache following creation of thunks. */
EFI_STATUS EFIAPI EbcRegisterICacheFlush(IN EFI_EBC_PROTOCOL *This, IN EBC_ICACHE_FLUSH Flush)
/* Registers a callback function that the EBC interpreter calls to flush the processor instruction cache following creation of thunks. */
EFI_STATUS EFIAPI EbcRegisterICacheFlush(IN EFI_EBC_PROTOCOL *This, IN EBC_ICACHE_FLUSH Flush)
{
  mEbcICacheFlush = Flush;
  return EFI_SUCCESS;
}