AcpiPlatform.h 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. /** @file
  2. This is an implementation of the ACPI platform driver.
  3. Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
  4. SPDX-License-Identifier: BSD-2-Clause-Patent
  5. **/
  6. #ifndef _ACPI_PLATFORM_H_
  7. #define _ACPI_PLATFORM_H_
  8. //
  9. // Statements that include other header files
  10. //
  11. #include <Base.h>
  12. #include <Uefi.h>
  13. #include <IndustryStandard/Pci30.h>
  14. #include <IndustryStandard/Acpi.h>
  15. #include <IndustryStandard/HighPrecisionEventTimerTable.h>
  16. #include <IndustryStandard/MemoryMappedConfigurationSpaceAccessTable.h>
  17. #include <IndustryStandard/WindowsSmmSecurityMitigationTable.h>
  18. #include <Register/Hpet.h>
  19. #include <Guid/EventGroup.h>
  20. #include <Guid/GlobalVariable.h>
  21. #include <Library/UefiLib.h>
  22. #include <Library/UefiBootServicesTableLib.h>
  23. #include <Library/UefiRuntimeServicesTableLib.h>
  24. #include <Library/DebugLib.h>
  25. #include <Library/BaseLib.h>
  26. #include <Library/BaseMemoryLib.h>
  27. #include <Library/IoLib.h>
  28. #include <Library/PcdLib.h>
  29. #include <Library/BoardAcpiTableLib.h>
  30. #include <Library/MemoryAllocationLib.h>
  31. #include <Library/AslUpdateLib.h>
  32. #include <Library/PciSegmentInfoLib.h>
  33. #include <Protocol/AcpiTable.h>
  34. #include <Protocol/MpService.h>
  35. #include <Protocol/PciIo.h>
  36. #include <Register/Cpuid.h>
  37. #endif