converted linux_check_syscall