VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/ArmPlatformPkg/PrePi/PrePi.h@ 105668

Last change on this file since 105668 was 99464, checked in by vboxsync, 2 years ago

Devices/EFI/Firmware: Restore ArmPkg, ArmVirtPkg, ArmPlatformPkg in order to be able to build Aarch64 and Aarch32 firmware images for the virt platform, bugref:10400

  • Property svn:eol-style set to native
File size: 1.3 KB
Line 
1/** @file
2
3 Copyright (c) 2011 - 2020, Arm Limited. All rights reserved.<BR>
4
5 SPDX-License-Identifier: BSD-2-Clause-Patent
6
7**/
8
9#ifndef _PREPI_H_
10#define _PREPI_H_
11
12#include <PiPei.h>
13
14#include <Library/PcdLib.h>
15#include <Library/ArmLib.h>
16#include <Library/BaseMemoryLib.h>
17#include <Library/DebugLib.h>
18#include <Library/IoLib.h>
19#include <Library/MemoryAllocationLib.h>
20#include <Library/HobLib.h>
21#include <Library/SerialPortLib.h>
22#include <Library/ArmPlatformLib.h>
23
24extern UINT64 mSystemMemoryEnd;
25
26RETURN_STATUS
27EFIAPI
28TimerConstructor (
29 VOID
30 );
31
32VOID
33PrePiMain (
34 IN UINTN UefiMemoryBase,
35 IN UINTN StacksBase,
36 IN UINT64 StartTimeStamp
37 );
38
39EFI_STATUS
40EFIAPI
41MemoryPeim (
42 IN EFI_PHYSICAL_ADDRESS UefiMemoryBase,
43 IN UINT64 UefiMemorySize
44 );
45
46EFI_STATUS
47EFIAPI
48PlatformPeim (
49 VOID
50 );
51
52VOID
53PrimaryMain (
54 IN UINTN UefiMemoryBase,
55 IN UINTN StacksBase,
56 IN UINT64 StartTimeStamp
57 );
58
59VOID
60SecondaryMain (
61 IN UINTN MpId
62 );
63
64// Either implemented by PrePiLib or by MemoryInitPei
65VOID
66BuildMemoryTypeInformationHob (
67 VOID
68 );
69
70EFI_STATUS
71GetPlatformPpi (
72 IN EFI_GUID *PpiGuid,
73 OUT VOID **Ppi
74 );
75
76// Initialize the Architecture specific controllers
77VOID
78ArchInitialize (
79 VOID
80 );
81
82VOID
83EFIAPI
84ProcessLibraryConstructorList (
85 VOID
86 );
87
88#endif /* _PREPI_H_ */
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