Intel Extensible Firmware Interface - Freepages()

Extensible Firmware Interface Specification
48 12/12/00 Version 1.02
3.2.2 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 Section 3.2.1.
Pages The number of contiguous 4KB 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.