1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
| /** @file
|
| Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
| SPDX-License-Identifier: BSD-2-Clause-Patent
|
| **/
|
| #ifndef _SEC_BOARD_INIT_LIB_H_
| #define _SEC_BOARD_INIT_LIB_H_
|
| #include <PiPei.h>
| #include <Uefi.h>
|
| /**
| This is stackless function in 32bit.
|
| return address - ESP.
| All other registers can be used.
| **/
| VOID
| EFIAPI
| BoardBeforeTempRamInit (
| VOID
| );
|
| EFI_STATUS
| EFIAPI
| BoardAfterTempRamInit (
| VOID
| );
|
| #endif
|
|
