sf_tfiles        3054 nfs/nfs_serv.c 		sfp->sf_tfiles.nfsuquad[0] = 0;
sf_tfiles        3055 nfs/nfs_serv.c 		sfp->sf_tfiles.nfsuquad[1] = txdr_unsigned(sf->f_files);
sf_tfiles         154 nfs/nfs_vfsops.c 		    sfp->sf_tfiles.nfsuquad[1]) & 0x7fffffff);