#include <Library/IoLib.h>\r
\r
VOID ArmClearMPCoreMailbox() {\r
-\s\sMmioWrite32(PcdGet32(PcdMPCoreMailboxClearAddress),PcdGet32(PcdMPCoreMailboxClearValue));\r
+ MmioWrite32(PcdGet32(PcdMPCoreMailboxClearAddress),PcdGet32(PcdMPCoreMailboxClearValue));\r
}\r
\r
UINTN ArmGetMPCoreMailbox() {\r