3 * Copyright (c) 2011, ARM Limited. All rights reserved.
5 * This program and the accompanying materials
6 * are licensed and made available under the terms and conditions of the BSD License
7 * which accompanies this distribution. The full text of the license may be found at
8 * http://opensource.org/licenses/bsd-license.php
10 * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef __BDS_INTERNAL_H__
16 #define __BDS_INTERNAL_H__
19 #include <Library/BaseLib.h>
20 #include <Library/BaseMemoryLib.h>
21 #include <Library/UefiBootServicesTableLib.h>
22 #include <Library/UefiLib.h>
23 #include <Library/DevicePathLib.h>
24 #include <Library/MemoryAllocationLib.h>
25 #include <Library/DebugLib.h>
26 #include <Library/BdsLib.h>
27 #include <Library/PerformanceLib.h>
28 #include <Library/PrintLib.h>
29 #include <Library/UefiRuntimeServicesTableLib.h>
31 #include <Guid/GlobalVariable.h>
32 #include <Guid/FileInfo.h>
34 #include <Protocol/DevicePath.h>
35 #include <Protocol/DevicePathFromText.h>
36 #include <Protocol/SimpleFileSystem.h>
37 #include <Protocol/FirmwareVolume2.h>
38 #include <Protocol/LoadFile.h>
39 #include <Protocol/PxeBaseCode.h>
42 typedef BOOLEAN (*BDS_FILE_LOADER_SUPPORT
) (
43 IN EFI_DEVICE_PATH
*DevicePath
,
45 IN EFI_DEVICE_PATH
*RemainingDevicePath
48 typedef EFI_STATUS (*BDS_FILE_LOADER_LOAD_IMAGE
) (
49 IN EFI_DEVICE_PATH
*DevicePath
,
51 IN EFI_DEVICE_PATH
*RemainingDevicePath
,
52 IN EFI_ALLOCATE_TYPE Type
,
53 IN OUT EFI_PHYSICAL_ADDRESS
* Image
,
58 BDS_FILE_LOADER_SUPPORT Support
;
59 BDS_FILE_LOADER_LOAD_IMAGE LoadImage
;
62 typedef struct _BDS_SYSTEM_MEMORY_RESOURCE
{
63 LIST_ENTRY Link
; // This attribute must be the first entry of this structure (to avoid pointer computation)
64 EFI_PHYSICAL_ADDRESS PhysicalStart
;
65 UINT64 ResourceLength
;
66 } BDS_SYSTEM_MEMORY_RESOURCE
;
71 ShutdownUefiBootServices (
76 GetSystemMemoryResources (
77 LIST_ENTRY
*ResourceList
87 IN EFI_DEVICE_PATH
*DevicePath
,
88 IN EFI_ALLOCATE_TYPE Type
,
89 IN OUT EFI_PHYSICAL_ADDRESS
* Image
,