UINT64 NumberOfBytes;\r
} ARM_SYSTEM_MEMORY_REGION_DESCRIPTOR;\r
\r
+/**\r
+ Return the core position from the value of its MpId register\r
+\r
+ This function returns the core position from the position 0 in the processor.\r
+ This function might be called from assembler before any stack is set.\r
+\r
+ @return Return the core position\r
+\r
+**/\r
UINTN\r
ArmPlatformGetCorePosition (\r
IN UINTN MpId\r
);\r
\r
+/**\r
+ Return a non-zero value if the callee is the primary core\r
+\r
+ This function returns a non-zero value if the callee is the primary core.\r
+ The primary core is the core responsible to initialize the hardware and run UEFI.\r
+ This function might be called from assembler before any stack is set.\r
+\r
+ @return Return a non-zero value if the callee is the primary core.\r
+\r
+**/\r
+UINTN\r
+ArmPlatformIsPrimaryCore (\r
+ IN UINTN MpId\r
+ );\r
+\r
/**\r
Return the current Boot Mode\r
\r