All local system calls are asynchronous (XCC)
[akaros.git] / kern / include / trap.h
index 0eaf036..c45afce 100644 (file)
@@ -90,6 +90,6 @@ typedef struct kernel_message NTPTV(a0t) NTPTV(a1t) NTPTV(a2t) kernel_message_t;
 
 uint32_t send_kernel_message(uint32_t dst, amr_t pc, TV(a0t) arg0, TV(a1t) arg1,
                              TV(a2t) arg2, int type);
-void process_routine_kmsg(void);
+void process_routine_kmsg(struct trapframe *tf);
 
 #endif /* ROS_KERN_TRAP_H */