Symbol: do_syscall_64