| /** @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 |