8ace012cc39df80992a775625679889ddd5f5e13
[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
9 uint32_t (SYNCHRONOUS syscall)(uint32_t num, uint32_t a1, uint32_t a2,
10                                uint32_t a3, uint32_t a4, uint32_t a5);
11 uint32_t syscall_async(syscall_req_t *syscall);
12
13 #endif /* !ROS_KERN_SYSCALL_H */