Intel Extensible Firmware Interface - Manual (Page 122)

Extensible Firmware Interface Specification
5-24 12/01/02 Version 1.10
FreePages()
Summary
Frees memory pages.
Prototype
EFI_STATUS
FreePages (
IN EFI_PHYSICAL_ADDRESS Memory,
IN UINTN Pages
);
Parameters
Memory The base physical address of the pages to be freed. Type
EFI_PHYSICAL_ADDRESS is defined in the AllocatePages()
function description.
Pages The number of contiguous 4 KB pages to free.
Description
The FreePages() function returns memory allocated by AllocatePages() to the firmware.
Status Codes Returned
EFI_SUCCESS The requested memory pages were freed.
EFI_NOT_FOUND The requested memory pages were not allocated with
AllocatePages() .
EFI_INVALID_PARAMETER Memory is not a page-aligned address or Pages is invalid.