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