Device_Io.freebuffer() - Intel Extensible Firmware Interface Specification

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