@@ -15,17 +15,17 @@
 #else
 	Knoimpl(k_platform_syscall)
 #endif
 
-extern void k_platform_syscall_raw (
-		k_platform_syscall_return* return_slot,
-		k_platform_syscall_error*  error_no_slot,
-		enum k_platform_syscall    syscall_no,
-		u8                         valency,
-		s64*                       args);
+volatile extern void k_platform_syscall_raw (
+		volatile k_platform_syscall_return* return_slot,
+		volatile k_platform_syscall_error*  error_no_slot,
+		volatile enum k_platform_syscall    syscall_no,
+		volatile u8                         valency,
+		volatile s64*                       args);
 
-struct k_platform_syscall_answer
-k_platform_syscall(enum k_platform_syscall call, u8 valency, s64 args[]) {
+volatile struct k_platform_syscall_answer
+k_platform_syscall(volatile enum k_platform_syscall call, volatile u8 valency, volatile s64 args[]) {
 	struct k_platform_syscall_answer answer;
 
 	k_platform_syscall_raw
 		(&answer.ret,