Symbol: get_syscall_args