os_kernel_lab/labcodes/lab7/kern/syscall/syscall.h

#ifndef __KERN_SYSCALL_SYSCALL_H__
#define __KERN_SYSCALL_SYSCALL_H__

void syscall(void);

#endif /* !__KERN_SYSCALL_SYSCALL_H__ */