Index: libcfa/src/concurrency/CtxSwitch-arm.S
===================================================================
--- libcfa/src/concurrency/CtxSwitch-arm.S	(revision 456834bab8c511c181adb66426754ef2b7815b3c)
+++ libcfa/src/concurrency/CtxSwitch-arm.S	(revision 5c9b20cdbd8f11c2e3b1817c4e65a16c5f1e9a65)
@@ -13,8 +13,8 @@
 	.text
 	.align  2
-	.global CtxSwitch
-	.type   CtxSwitch, %function
+	.global __cfactx_switch
+	.type   __cfactx_switch, %function
 
-CtxSwitch:
+__cfactx_switch:
 	@ save callee-saved registers: r4-r8, r10, r11, r13(sp) (plus r9 depending on platform specification)
 	@ I've seen reference to 31 registers on 64-bit, if this is the case, more need to be saved
@@ -52,11 +52,11 @@
 	mov r15, r14
 	#endif // R9_SPECIAL
-	
+
 	.text
 	.align  2
-	.global CtxInvokeStub
-	.type   CtxInvokeStub, %function
+	.global __cfactx_invoke_stub
+	.type   __cfactx_invoke_stub, %function
 
-CtxInvokeStub:
+__cfactx_invoke_stub:
         ldmfd r13!, {r0-r1}
 	mov r15, r1