pub fn do_syscall( nr_ver: u64, arg0: u64, arg1: u64, arg2: u64, arg3: u64, arg4: u64, arg5: u64, ) -> SyscallResult