]>
Commit | Line | Data |
---|---|---|
04af8bf2 DG |
1 | /** @file\r |
2 | The header file of bootloader support DXE.\r | |
3 | \r | |
4 | Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>\r | |
5 | SPDX-License-Identifier: BSD-2-Clause-Patent\r | |
6 | \r | |
7 | **/\r | |
8 | #ifndef __DXE_BOOTLOADER_SUPPORT_H__\r | |
9 | #define __DXE_BOOTLOADER_SUPPORT_H__\r | |
10 | \r | |
11 | #include <PiDxe.h>\r | |
12 | \r | |
13 | #include <Library/UefiDriverEntryPoint.h>\r | |
14 | #include <Library/UefiBootServicesTableLib.h>\r | |
15 | #include <Library/DxeServicesTableLib.h>\r | |
16 | #include <Library/DebugLib.h>\r | |
17 | #include <Library/BaseMemoryLib.h>\r | |
18 | #include <Library/UefiLib.h>\r | |
19 | #include <Library/IoLib.h>\r | |
20 | #include <Library/HobLib.h>\r | |
21 | \r | |
22 | #include <Guid/Acpi.h>\r | |
23 | #include <Guid/SmBios.h>\r | |
24 | #include <Guid/SystemTableInfoGuid.h>\r | |
25 | #include <Guid/AcpiBoardInfoGuid.h>\r | |
26 | #include <Guid/GraphicsInfoHob.h>\r | |
27 | \r | |
28 | #include <IndustryStandard/Acpi.h>\r | |
29 | \r | |
30 | #endif\r |