Fork me on GitHub
do_bad_syscall    397 kernel/syscalls.c 		do_bad_syscall(num);
do_bad_syscall    402 kernel/syscalls.c 		do_bad_syscall(num);