VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/ArmPlatformPkg/Sec/Sec.h@ 109019

Last change on this file since 109019 was 108794, checked in by vboxsync, 4 weeks ago

Devices/EFI/FirmwareNew: Merge edk2-stable202502 from the vendor branch and make it build for the important platforms, bugref:4643

  • Property svn:eol-style set to native
File size: 1.0 KB
Line 
1/** @file
2 Generic SEC driver for ARM platforms
3
4 Copyright (c) 2011 - 2022, ARM Limited. All rights reserved.
5
6 SPDX-License-Identifier: BSD-2-Clause-Patent
7
8**/
9
10#ifndef SEC_H_
11#define SEC_H_
12
13#include <PiPei.h>
14
15#include <Library/ArmLib.h>
16#include <Library/ArmPlatformLib.h>
17#include <Library/BaseLib.h>
18#include <Library/BaseMemoryLib.h>
19#include <Library/CacheMaintenanceLib.h>
20#include <Library/DebugAgentLib.h>
21#include <Library/DebugLib.h>
22#include <Library/PrintLib.h>
23#include <Library/SerialPortLib.h>
24
25#include <Ppi/TemporaryRamSupport.h>
26
27/**
28 Helper function to switch to a different stack. Implemented in assembler as
29 this cannot be done from C code.
30**/
31VOID
32SecSwitchStack (
33 INTN StackDelta
34 );
35
36/**
37 Vector Table for the PEI Phase. This is executable code but not a callable
38 function. Implemented in assembler.
39**/
40VOID
41PeiVectorTable (
42 VOID
43 );
44
45/**
46 Minimal high level handling of exceptions occurring in PEI.
47**/
48VOID
49PeiCommonExceptionEntry (
50 IN UINT32 Entry,
51 IN UINTN LR
52 );
53
54#endif
Note: See TracBrowser for help on using the repository browser.

© 2025 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette