1234567891011121314151617181920212223242526 |
- /** @file
- Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
- SPDX-License-Identifier: BSD-2-Clause-Patent
- **/
- #include <PiPei.h>
- #include <Library/DebugLib.h>
- #include <Library/BaseMemoryLib.h>
- #include <Library/IoLib.h>
- #include <Library/HobLib.h>
- #include <Library/PcdLib.h>
- #include <Library/PciLib.h>
- #include <Library/PcdLib.h>
- #include <Library/BaseMemoryLib.h>
- #include <Library/BoardInitLib.h>
- EFI_STATUS
- EFIAPI
- X58Ich10BoardDetect (
- VOID
- )
- {
- DEBUG ((EFI_D_INFO, "X58Ich10BoardDetect\n"));
- return EFI_SUCCESS;
- }
|