@@ -80,11 +80,11 @@
 #endif
 
 #ifdef KFplatform_define_funcs
 
-extern struct k_platform_syscall_answer
-k_platform_syscall(enum k_platform_syscall call, u8 valency, 
-		k_platform_syscall_arg args[]);
+volatile extern struct k_platform_syscall_answer
+k_platform_syscall(volatile enum k_platform_syscall call,
+		volatile u8 valency, volatile k_platform_syscall_arg args[]);
 
 #endif
 
 #endif