9fcadd30c5f1a027534b0fb3aacdffb55ac7434b
[akaros.git] / kern / syscall.h
1 #ifndef ROS_KERN_SYSCALL_H
2 #define ROS_KERN_SYSCALL_H
3 #ifndef ROS_KERNEL
4 # error "This is ROS kernel header; user programs should not #include it"
5 #endif
6
7 #include <inc/syscall.h>
8 #include <inc/env.h>
9
10 int32_t (SYNCHRONOUS syscall)(uint32_t num, uint32_t a1, uint32_t a2,
11                                uint32_t a3, uint32_t a4, uint32_t a5);
12 int32_t syscall_async(syscall_req_t *syscall);
13 uint32_t process_generic_syscalls(env_t* e, uint32_t max);
14
15 #endif /* !ROS_KERN_SYSCALL_H */