/** @file * * Copyright (c) 2011-2012, ARM Limited. All rights reserved. * * This program and the accompanying materials * are licensed and made available under the terms and conditions of the BSD License * which accompanies this distribution. The full text of the license may be found at * http://opensource.org/licenses/bsd-license.php * * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. * **/ #ifndef __BDS_INTERNAL_H__ #define __BDS_INTERNAL_H__ #include <PiDxe.h> #include <Library/ArmLib.h> #include <Library/BaseLib.h> #include <Library/BaseMemoryLib.h> #include <Library/HobLib.h> #include <Library/UefiBootServicesTableLib.h> #include <Library/UefiLib.h> #include <Library/DevicePathLib.h> #include <Library/MemoryAllocationLib.h> #include <Library/DebugLib.h> #include <Library/BdsLib.h> #include <Library/PcdLib.h> #include <Library/PerformanceLib.h> #include <Library/PrintLib.h> #include <Library/UefiRuntimeServicesTableLib.h> #include <Guid/ArmMpCoreInfo.h> #include <Guid/GlobalVariable.h> #include <Guid/FileInfo.h> #include <Protocol/DevicePath.h> #include <Protocol/DevicePathFromText.h> #include <Protocol/SimpleFileSystem.h> #include <Protocol/FirmwareVolume2.h> #include <Protocol/LoadFile.h> #include <Protocol/PxeBaseCode.h> #include <Uefi.h> typedef BOOLEAN (*BDS_FILE_LOADER_SUPPORT) ( IN EFI_DEVICE_PATH *DevicePath, IN EFI_HANDLE Handle, IN EFI_DEVICE_PATH *RemainingDevicePath ); typedef EFI_STATUS (*BDS_FILE_LOADER_LOAD_IMAGE) ( IN EFI_DEVICE_PATH *DevicePath, IN EFI_HANDLE Handle, IN EFI_DEVICE_PATH *RemainingDevicePath, IN EFI_ALLOCATE_TYPE Type, IN OUT EFI_PHYSICAL_ADDRESS* Image, OUT UINTN *ImageSize ); typedef struct { BDS_FILE_LOADER_SUPPORT Support; BDS_FILE_LOADER_LOAD_IMAGE LoadImage; } BDS_FILE_LOADER; typedef struct _BDS_SYSTEM_MEMORY_RESOURCE { LIST_ENTRY Link; // This attribute must be the first entry of this structure (to avoid pointer computation) EFI_PHYSICAL_ADDRESS PhysicalStart; UINT64 ResourceLength; } BDS_SYSTEM_MEMORY_RESOURCE; // BdsHelper.c EFI_STATUS ShutdownUefiBootServices ( VOID ); EFI_STATUS GetSystemMemoryResources ( LIST_ENTRY *ResourceList ); VOID PrintPerformance ( VOID ); EFI_STATUS BdsLoadImage ( IN EFI_DEVICE_PATH *DevicePath, IN EFI_ALLOCATE_TYPE Type, IN OUT EFI_PHYSICAL_ADDRESS* Image, OUT UINTN *FileSize ); #endif