NFSHASINT
if (nmp != NULL && td != NULL && NFSHASINT(nmp)) {
((!NFSHASINT(nmp) || !NFSHASNFSV4N(nmp)) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp) &&
((!NFSHASINT(nmp) || !NFSHASNFSV4N(nmp)) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp) &&
((!NFSHASINT(nmp) || !NFSHASNFSV4N(nmp)) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp) &&
} else if ((error == NFSERR_EXPIRED || (!NFSHASINT(nmp) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp)) {
} else if ((error == NFSERR_EXPIRED || (!NFSHASINT(nmp) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp)) {
} else if ((error == NFSERR_EXPIRED || (!NFSHASINT(nmp) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp)) {
} else if ((error == NFSERR_EXPIRED || (!NFSHASINT(nmp) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp)) {
} else if ((error == NFSERR_EXPIRED || (!NFSHASINT(nmp) &&
} else if (error == NFSERR_BADSTATEID && NFSHASINT(nmp)) {