Handles multiple simultaneous synchronous syscalls
[akaros.git] / kern / syscall.h
index 9fcadd3..d2fab8d 100644 (file)
@@ -7,9 +7,9 @@
 #include <inc/syscall.h>
 #include <inc/env.h>
 
-int32_t (SYNCHRONOUS syscall)(uint32_t num, uint32_t a1, uint32_t a2,
-                               uint32_t a3, uint32_t a4, uint32_t a5);
-int32_t syscall_async(syscall_req_t *syscall);
+int32_t (SYNCHRONOUS syscall)(env_t* e, uint32_t num, uint32_t a1, uint32_t a2,
+                              uint32_t a3, uint32_t a4, uint32_t a5);
+int32_t syscall_async(env_t* e, syscall_req_t *syscall);
 uint32_t process_generic_syscalls(env_t* e, uint32_t max);
 
 #endif /* !ROS_KERN_SYSCALL_H */