sf_abytes
sfp->sf_abytes = UINT64_MAX;
sfp->sf_abytes = fxdr_hyper(tl);
sbp->f_bavail = sfp->sf_abytes / NFS_FABLKSIZE;
sbp->sf_abytes = fxdr_hyper(tl); tl += 2;