PeiX58Ich10Detect.c 574 B

1234567891011121314151617181920212223242526
  1. /** @file
  2. Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
  3. SPDX-License-Identifier: BSD-2-Clause-Patent
  4. **/
  5. #include <PiPei.h>
  6. #include <Library/DebugLib.h>
  7. #include <Library/BaseMemoryLib.h>
  8. #include <Library/IoLib.h>
  9. #include <Library/HobLib.h>
  10. #include <Library/PcdLib.h>
  11. #include <Library/PciLib.h>
  12. #include <Library/PcdLib.h>
  13. #include <Library/BaseMemoryLib.h>
  14. #include <Library/BoardInitLib.h>
  15. EFI_STATUS
  16. EFIAPI
  17. X58Ich10BoardDetect (
  18. VOID
  19. )
  20. {
  21. DEBUG ((EFI_D_INFO, "X58Ich10BoardDetect\n"));
  22. return EFI_SUCCESS;
  23. }