TianoCore EDK2 master
|
#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/DxeServicesTableLib.h>
#include <Library/PcdLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Protocol/Cpu.h>
#include <Protocol/FdtClient.h>
Go to the source code of this file.
Functions | |
EFI_STATUS EFIAPI | InitializeHighMemDxe (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable) |
High memory node enumeration DXE driver for ARM and RISC-V Virtual Machines
Copyright (c) 2015-2016, Linaro Ltd. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file HighMemDxe.c.
EFI_STATUS EFIAPI InitializeHighMemDxe | ( | IN EFI_HANDLE | ImageHandle, |
IN EFI_SYSTEM_TABLE * | SystemTable | ||
) |
Definition at line 22 of file HighMemDxe.c.