TianoCore EDK2 master
Loading...
Searching...
No Matches
ArmMpCoreInfo.h
Go to the documentation of this file.
1
9#ifndef ARM_MP_CORE_INFO_GUID_H_
10#define ARM_MP_CORE_INFO_GUID_H_
11
12#define MAX_CPUS_PER_MPCORE_SYSTEM 0x04
13#define SCU_CONFIG_REG_OFFSET 0x04
14#define MPIDR_U_BIT_MASK 0x40000000
15
16typedef struct {
17 UINT64 Mpidr;
18
19 // MP Core Mailbox
20 EFI_PHYSICAL_ADDRESS MailboxSetAddress;
21 EFI_PHYSICAL_ADDRESS MailboxGetAddress;
22 EFI_PHYSICAL_ADDRESS MailboxClearAddress;
23 UINT64 MailboxClearValue;
25
26#define ARM_MP_CORE_INFO_GUID \
27 { 0xa4ee0728, 0xe5d7, 0x4ac5, {0xb2, 0x1e, 0x65, 0x8e, 0xd8, 0x57, 0xe8, 0x34} }
28
29extern EFI_GUID gArmMpCoreInfoGuid;
30
31#endif /* ARM_MP_CORE_INFO_GUID_H_ */
UINT64 EFI_PHYSICAL_ADDRESS
Definition: UefiBaseType.h:50
Definition: Base.h:213