NFSX_V4PNFSFH
NFSX_HYPER + NFSM_RNDUP(NFSX_V4PNFSFH))
NFSM_RNDUP(NFSX_V4PNFSFH) + 7 * NFSX_UNSIGNED)))
*tl++ = txdr_unsigned(NFSX_V4PNFSFH);
*tl++ = txdr_unsigned(NFSX_V4PNFSFH);
tl += (NFSM_RNDUP(NFSX_V4PNFSFH) / NFSX_UNSIGNED);
NFSM_RNDUP(NFSX_V4PNFSFH) /
if (len == NFSX_V4PNFSFH && (nd->nd_flag & ND_NFSV41) != 0) {