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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Pi/
H A DPiDxeCis.h606 (EFIAPI *EFI_SCHEDULE)( typedef
691 EFI_SCHEDULE Schedule;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Pi/
H A DPiDxeCis.h607 (EFIAPI *EFI_SCHEDULE)( typedef
690 EFI_SCHEDULE Schedule;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c122 (EFI_SCHEDULE) CoreSchedule, // Schedule

Completed in 1091 milliseconds