| /** @file | |
| The header file of bootloader support DXE. | |
| Copyright (c) 2014, Intel Corporation. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #ifndef __DXE_BOOTLOADER_SUPPORT_H__ | |
| #define __DXE_BOOTLOADER_SUPPORT_H__ | |
| #include <PiDxe.h> | |
| #include <Library/UefiDriverEntryPoint.h> | |
| #include <Library/UefiBootServicesTableLib.h> | |
| #include <Library/DxeServicesTableLib.h> | |
| #include <Library/DebugLib.h> | |
| #include <Library/BaseMemoryLib.h> | |
| #include <Library/UefiLib.h> | |
| #include <Library/IoLib.h> | |
| #include <Library/HobLib.h> | |
| #include <Guid/Acpi.h> | |
| #include <Guid/SmBios.h> | |
| #include <Guid/SystemTableInfoGuid.h> | |
| #include <Guid/AcpiBoardInfoGuid.h> | |
| #include <Guid/GraphicsInfoHob.h> | |
| #include <IndustryStandard/Acpi.h> | |
| #endif |