1 files changed, 3 insertions, 3 deletions
diff --git a/os/ports/GCC/PPC/chcore.c b/os/ports/GCC/PPC/chcore.c
index 5fd97a14b..5ad1195a4 100644
--- a/os/ports/GCC/PPC/chcore.c
+++ b/os/ports/GCC/PPC/chcore.c
@@ -36,10 +36,10 @@ void port_init(void) {
 #if PPC_SUPPORTS_IVORS
     /* The CPU support IVOR registers, the kernel requires IVOR4 and IVOR10
        and the initialization is performed here.*/
-    asm volatile ("li          %r3, IVOR4@l         \t\n"
+    asm volatile ("li          %r3, _IVOR4@l        \t\n"
                   "mtIVOR4     %r3                  \t\n"
-                  "li          %r3, IVOR10@l        \t\n"
-                  "mtIVOR10    %r3");
+                  "li          %r3, _IVOR10@l       \t\n"
+                  "mtIVOR10    %r3" : : : "memory");
 #endif
 }