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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Pi/
H A DPiDxeCis.h589 (EFIAPI *EFI_DISPATCH)( typedef
690 EFI_DISPATCH Dispatch;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Pi/
H A DPiDxeCis.h590 (EFIAPI *EFI_DISPATCH)( typedef
689 EFI_DISPATCH Dispatch;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c121 (EFI_DISPATCH) CoreDispatcher, // Dispatch

Completed in 49 milliseconds