UefiPayloadPkg/BlSupportDxe/BlSupportDxe.h

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