nfsrvw_procrastinate   90 nfs/nfs_serv.c int nfsrvw_procrastinate = NFS_GATHERDELAY * 1000;
nfsrvw_procrastinate  905 nfs/nfs_serv.c 	    nfsd->nd_time = cur_usec + nfsrvw_procrastinate;
nfsrvw_procrastinate   85 nfs/nfs_syscalls.c extern int nfsrvw_procrastinate;
nfsrvw_procrastinate  434 nfs/nfs_syscalls.c 			    nfsrvw_procrastinate > 0))