BoardInitLib.h 744 B

1234567891011121314151617181920212223242526272829303132
  1. /** @file
  2. Header file for board Init function for DXE Init phase.
  3. Copyright (c) 2020, Intel Corporation. All rights reserved.<BR>
  4. SPDX-License-Identifier: BSD-2-Clause-Patent
  5. **/
  6. #ifndef _DXE_BOARD_INIT_LIB_H_
  7. #define _DXE_BOARD_INIT_LIB_H_
  8. #include <Uefi.h>
  9. #include <Library/BaseLib.h>
  10. #include <Library/UefiBootServicesTableLib.h>
  11. #include <Library/BaseMemoryLib.h>
  12. #include <Library/PcdLib.h>
  13. #include <Library/MemoryAllocationLib.h>
  14. #include <Library/DebugLib.h>
  15. #include <PlatformBoardId.h>
  16. #include <Register/PchRegs.h>
  17. #include <Library/PciSegmentLib.h>
  18. #include <Library/PchPcieRpLib.h>
  19. #include <Platform.h>
  20. EFI_STATUS
  21. EFIAPI
  22. BoardConfigInit (
  23. VOID
  24. );
  25. #endif // _DXE_BOARD_INIT_LIB_H_