TianoCore EDK2 master
|
#include <PiDxe.h>
#include <Library/HobLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/DxeServicesLib.h>
Go to the source code of this file.
Functions | |
VOID *EFIAPI | AllocatePeiAccessiblePages (IN EFI_MEMORY_TYPE MemoryType, IN UINTN Pages) |
DxeServicesLib memory allocation routines
Copyright (c) 2018, Linaro, Ltd. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file Allocate.c.
VOID *EFIAPI AllocatePeiAccessiblePages | ( | IN EFI_MEMORY_TYPE | MemoryType, |
IN UINTN | Pages | ||
) |
Allocates one or more 4KB pages of a given type from a memory region that is accessible to PEI.
Allocates the number of 4KB pages of type 'MemoryType' and returns a pointer to the allocated buffer. The buffer returned is aligned on a 4KB boundary. If Pages is 0, then NULL is returned. If there is not enough memory remaining to satisfy the request, then NULL is returned.
[in] | MemoryType | The memory type to allocate |
[in] | Pages | The number of 4 KB pages to allocate. |
Definition at line 32 of file Allocate.c.