sf_tfiles
sfp->sf_tfiles.nfsuquad[0] = 0;
sfp->sf_tfiles.nfsuquad[1] = txdr_unsigned(sf->f_files);
sfp->sf_tfiles.nfsuquad[1]) & 0x7fffffff);
sbp->f_files = fxdr_hyper(&sfp->sf_tfiles);