Permissions on IDTs.
[akaros.git] / kern / syscall.h
1 #ifndef JOS_KERN_SYSCALL_H
2 #define JOS_KERN_SYSCALL_H
3 #ifndef JOS_KERNEL
4 # error "This is a JOS kernel header; user programs should not #include it"
5 #endif
6
7 #include <inc/syscall.h>
8
9 uint32_t syscall(uint32_t num, uint32_t a1, uint32_t a2, uint32_t a3, uint32_t a4, uint32_t a5);
10
11 #endif /* !JOS_KERN_SYSCALL_H */