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 int32_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 */