Symbol: get_syscall_arg_type