Intel Extensible Firmware Interface - Device_Io.freebuffer()

Extensible Firmware Interface Specification
150 12/12/00 Version 1.02
6.2.7 DEVICE_IO.FreeBuffer()
Summary
Frees pages that were allocated with AllocateBuffer().
Prototype
typedef
EFI_STATUS
(EFIAPI *EFI_IO_FREE_BUFFER) (
IN EFI_DEVICE_IO_INTERFACE *This,
IN UINTN Pages,
IN EFI_PHYSICAL_ADDRESS HostAddress
);
Parameters
This A pointer to the EFI_DEVICE_IO_INTERFACE. Type
EFI_DEVICE_IO_INTERFACE is defined in Section 6.2.
Pages The number of pages to free.
HostAddress The base address of the range to free. Type EFI_
PHYSICAL_ADDRESS is defined in Chapter 3.
Description
The FreeBuffer() function frees pages that were allocated with AllocateBuffer().
The FreeBuffer() function internally calls FreePages() to free a memory range.
Status Codes Returned
EFI_SUCCESS The requested memory pages were allocated.
EFI_INVALID_PARAMETER The requested memory type is invalid.