TianoCore EDK2 master
|
#include <MdePkg/Include/Ppi/SecPlatformInformation2.h>
Data Fields | |
UINT32 | NumberOfCpus |
EFI_SEC_PLATFORM_INFORMATION_CPU | CpuInstance [1] |
EFI_SEC_PLATFORM_INFORMATION_RECORD2.
Definition at line 38 of file SecPlatformInformation2.h.
EFI_SEC_PLATFORM_INFORMATION_CPU EFI_SEC_PLATFORM_INFORMATION_RECORD2::CpuInstance[1] |
Definition at line 43 of file SecPlatformInformation2.h.
UINT32 EFI_SEC_PLATFORM_INFORMATION_RECORD2::NumberOfCpus |
The CPU location would be the local APIC ID
Definition at line 42 of file SecPlatformInformation2.h.