kernel/eka/kernel/arm/cexec.cia
branchGCC_SURGE
changeset 184 0e2270015475
parent 31 56f325a607ea
--- a/kernel/eka/kernel/arm/cexec.cia	Mon Jun 28 10:52:57 2010 +0100
+++ b/kernel/eka/kernel/arm/cexec.cia	Mon Jun 28 11:25:30 2010 +0100
@@ -838,7 +838,7 @@
 	asm("b  " CSM_ZN1K18PanicCurrentThreadEi);
 
 	asm("__KernMsgInfo: ");
-	asm(".word  " CSM_ZN1K8MsgInfoE);
+	asm(".word  " CSM_ZN1K7MsgInfoE);
 	}