Searched refs:EFI_FREE_PAGES (Results 1 - 6 of 6) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h92 EFI_FREE_PAGES FreePages;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Pi/
H A DPiSmmCis.h283 EFI_FREE_PAGES SmmFreePages;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h159 (EFIAPI *EFI_FREE_PAGES)( typedef
1814 EFI_FREE_PAGES FreePages;
/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Dboot_service_table.h39 TBL_ENTRY(EFI_FREE_PAGES, FreePages, NVOID, EFI_STATUS, 2, (SCL(EFI_PHYSICAL_ADDRESS), SCL(UINTN)))
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h159 (EFIAPI *EFI_FREE_PAGES)( typedef
1810 EFI_FREE_PAGES FreePages;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c57 (EFI_FREE_PAGES) CoreFreePages, // FreePages

Completed in 59 milliseconds