//\r
-// Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
+// Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
//\r
// This program and the accompanying materials\r
// are licensed and made available under the terms and conditions of the BSD License\r
//\r
//\r
\r
-#include <AsmMacroIoLib.h>\r
+#include <AsmMacroIoLibV8.h>\r
#include <Base.h>\r
#include <Library/ArmPlatformLib.h>\r
#include <AutoGen.h>\r
.text\r
.align 3\r
\r
-ASM_GLOBAL ASM_PFX(ArmPlatformSecBootAction)\r
-ASM_GLOBAL ASM_PFX(ArmPlatformSecBootMemoryInit)\r
-ASM_GLOBAL ASM_PFX(ArmSecMpCoreSecondariesWrite)\r
-ASM_GLOBAL ASM_PFX(ArmSecMpCoreSecondariesRead)\r
+GCC_ASM_EXPORT(ArmPlatformSecBootAction)\r
+GCC_ASM_EXPORT(ArmPlatformSecBootMemoryInit)\r
+GCC_ASM_EXPORT(ArmSecMpCoreSecondariesWrite)\r
+GCC_ASM_EXPORT(ArmSecMpCoreSecondariesRead)\r
\r
/**\r
Call at the beginning of the platform boot up\r