TianoCore EDK2 master
Loading...
Searching...
No Matches
ArmMpCoreInfo.h
Go to the documentation of this file.
1
9#ifndef ARM_MP_CORE_INFO_PPI_H_
10#define ARM_MP_CORE_INFO_PPI_H_
11
12#include <Guid/ArmMpCoreInfo.h>
13
14#define ARM_MP_CORE_INFO_PPI_GUID \
15 { 0x6847cc74, 0xe9ec, 0x4f8f, {0xa2, 0x9d, 0xab, 0x44, 0xe7, 0x54, 0xa8, 0xfc} }
16
33typedef
35(EFIAPI *ARM_MP_CORE_INFO_GET)(
36 OUT UINTN *ArmCoreCount,
37 OUT ARM_CORE_INFO **ArmCoreTable
38 );
39
45typedef struct {
46 ARM_MP_CORE_INFO_GET GetMpCoreInfo;
48
49extern EFI_GUID gArmMpCoreInfoPpiGuid;
50extern EFI_GUID gArmMpCoreInfoGuid;
51
52#endif // ARM_MP_CORE_INFO_PPI_H_
UINT64 UINTN
#define OUT
Definition: Base.h:284
EFI_STATUS(EFIAPI * ARM_MP_CORE_INFO_GET)(OUT UINTN *ArmCoreCount, OUT ARM_CORE_INFO **ArmCoreTable)
Definition: ArmMpCoreInfo.h:35
RETURN_STATUS EFI_STATUS
Definition: UefiBaseType.h:29
Definition: Base.h:213