/** @file
|
Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
**/
|
|
#include <PiPei.h>
|
#include <Library/BaseLib.h>
|
#include <Library/IoLib.h>
|
#include <Library/BoardInitLib.h>
|
#include <Library/PcdLib.h>
|
#include <Library/DebugLib.h>
|
|
EFI_STATUS
|
EFIAPI
|
X58Ich10BoardInitBeforeSiliconInit (
|
VOID
|
);
|
|
EFI_STATUS
|
EFIAPI
|
X58Ich10BoardInitAfterSiliconInit (
|
VOID
|
);
|
|
EFI_STATUS
|
EFIAPI
|
BoardInitBeforeSiliconInit (
|
VOID
|
)
|
{
|
X58Ich10BoardInitBeforeSiliconInit ();
|
return EFI_SUCCESS;
|
}
|
|
EFI_STATUS
|
EFIAPI
|
BoardInitAfterSiliconInit (
|
VOID
|
)
|
{
|
X58Ich10BoardInitAfterSiliconInit ();
|
return EFI_SUCCESS;
|
}
|
