+/**\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 MpId of the primary core\r
+\r
+ This function returns the MpId of the primary core.\r
+ This function might be called from assembler before any stack is set.\r
+\r
+ @return Return the MpId of the primary core\r
+\r
+**/\r
+UINTN\r
+ArmPlatformGetPrimaryCoreMpId (\r
+ VOID\r
+ );\r
+\r