nfs4_fail_recov
nfs4_fail_recov(vp, failed_msg, ep->error,
nfs4_fail_recov(vp, failed_msg,
nfs4_fail_recov(vp, fail_msg, e.error, e.stat);
nfs4_fail_recov(vp, fail_msg, 0, NFS4ERR_STALE);
nfs4_fail_recov(vp, fail_msg, 0, NFS4ERR_STALE);
nfs4_fail_recov(vp, fail_msg, 0, NFS4ERR_STALE);
nfs4_fail_recov(vp, "can't recover filehandle", error, stat);
nfs4_fail_recov(vp, "", 0, stat);
nfs4_fail_recov(rep->re_vp,
nfs4_fail_recov(vp, NULL, 0, NFS4_OK);
nfs4_fail_recov(vp, failed_msg, ep->error, ep->stat);
extern void nfs4_fail_recov(vnode_t *, char *, int, nfsstat4);