Intel Extensible Firmware Interface - Manual (Page 128)

Extensible Firmware Interface Specification
5-30 12/01/02 Version 1.10
FreePool()
Summary
Returns pool memory to the system.
Prototype
EFI_STATUS
FreePool (
IN VOID *Buffer
);
Parameters
Buffer Pointer to the buffer to free.
Description
The FreePool() function returns the memory specified by Buffer to the system. On return,
the memory’s type is EfiConventionalMemory . The Buffer that is freed must have been
allocated by AllocatePool() .
Status Codes Returned
EFI_SUCCESS The memory was returned to the system.
EFI_INVALID_PARAMETER Buffer was invalid.