2 Header file for SEC code
4 Copyright (c) 2008 - 2009, Intel Corporation
6 All rights reserved. This program and the accompanying materials
7 are licensed and made available under the terms and conditions of the BSD License
8 which accompanies this distribution. The full text of the license may be found at
9 http://opensource.org/licenses/bsd-license.php
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
16 #ifndef _PLATFORM_SECMAIN_H_
17 #define _PLATFORM_SECMAIN_H_
22 IN SWITCH_STACK_ENTRY_POINT EntryPoint
,
23 IN VOID
*Context1
, OPTIONAL
24 IN VOID
*Context2
, OPTIONAL
25 IN VOID
*Context3
, OPTIONAL
26 IN VOID
*OldTopOfStack
,
33 IN UINTN TemporaryMemoryBase
,
34 IN UINTN PermanentMemoryBase
,
40 TemporaryRamMigration (
41 IN CONST EFI_PEI_SERVICES
**PeiServices
,
42 IN EFI_PHYSICAL_ADDRESS TemporaryMemoryBase
,
43 IN EFI_PHYSICAL_ADDRESS PermanentMemoryBase
,
49 FindPeiCoreEntryPoint (
50 IN EFI_FIRMWARE_VOLUME_HEADER
**BootFirmwareVolumePtr
,
51 OUT VOID
**PeiCoreEntryPoint
54 #define INITIAL_TOP_OF_STACK BASE_512KB
56 #endif // _PLATFORM_SECMAIN_H_