hc
2024-03-25 edb30157bad0c0001c32b854271ace01d3b9a16a
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/** @file
 Header file for board Init function for Post Memory Init phase.
 
 
  Copyright (c) 2020, Intel Corporation. All rights reserved.<BR>
  SPDX-License-Identifier: BSD-2-Clause-Patent
**/
 
#ifndef _PEI_BOARD_INIT_LIB_H_
#define _PEI_BOARD_INIT_LIB_H_
 
#include <Uefi.h>
#include <Library/BaseLib.h>
#include <Library/PcdLib.h>
#include <Library/MemoryAllocationLib.h>
#include <Library/DebugLib.h>
#include <PlatformBoardId.h>
 
#endif // _PEI_BOARD_INIT_LIB_H_