verfp             886 nfs/nfs_syscalls.c 	u_int32_t *nickp, *verfp;
verfp             916 nfs/nfs_syscalls.c 	verfp = (u_int32_t *)verf_str;
verfp             917 nfs/nfs_syscalls.c 	*verfp++ = txdr_unsigned(RPCAKN_NICKNAME);
verfp             928 nfs/nfs_syscalls.c 	*verfp++ = ktvout.tv_sec;
verfp             929 nfs/nfs_syscalls.c 	*verfp++ = ktvout.tv_usec;
verfp             930 nfs/nfs_syscalls.c 	*verfp = 0;