diff -r 9953e74bcef5 -r 0e2270015475 kernel/eka/nkernsmp/arm/vectors.cia
--- a/kernel/eka/nkernsmp/arm/vectors.cia	Mon Jun 28 10:52:57 2010 +0100
+++ b/kernel/eka/nkernsmp/arm/vectors.cia	Mon Jun 28 11:25:30 2010 +0100
@@ -157,7 +157,7 @@
 #ifndef __FAST_SEM_MACHINE_CODED__
 	asm("wait_for_any_request: ");
 	__ASM_STI();							// all interrupts on
-	asm("b		WaitForAnyRequest__5NKern ");
+	asm("b		WaitForAnyRequest__5NKern "); // CSM needed
 #else
 	asm(".global exec_wfar_wait ");
 	asm("exec_wfar_wait: ");
@@ -1005,7 +1005,7 @@
 	// CsFunction outstanding so do it
 	asm("5:		");
 	__ASM_STI();					// enable interrupts
-	asm("bl		ThreadLeaveCS__5NKern ");
+	asm("bl	" CSM_ZN5NKern13ThreadLeaveCSEv);
 	__ASM_CLI();					// turn off interrupts
 	__DATA_MEMORY_BARRIER__(r6);
 	asm("ldr	r1, [r8] ");