Searched refs:EFI_CREATE_EVENT_EX (Results 1 - 4 of 4) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/ |
| H A D | UefiSpec.h | 440 (EFIAPI *EFI_CREATE_EVENT_EX)( typedef
1900 EFI_CREATE_EVENT_EX CreateEventEx;
|
| /vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/ |
| H A D | boot_service_table.h | 93 TBL_ENTRY(EFI_CREATE_EVENT_EX, CreateEventEx, NVOID, EFI_STATUS, 6, (SCL(UINT32), SCL(EFI_TPL), SCL(EFI_EVENT_NOTIFY), PTRC(VOID), PTRC(EFI_GUID), PTR(EFI_EVENT)))
|
| /vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/ |
| H A D | UefiSpec.h | 440 (EFIAPI *EFI_CREATE_EVENT_EX)( typedef
1886 EFI_CREATE_EVENT_EX CreateEventEx;
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/ |
| H A D | DxeMain.c | 97 (EFI_CREATE_EVENT_EX) CoreCreateEventEx // CreateEventEx
|
Completed in 63 milliseconds