nfs4delegreturn
(void) nfs4delegreturn(rp, NFS4_DR_DISCARD);
(void) nfs4delegreturn(rp, NFS4_DR_DISCARD);
(void) nfs4delegreturn(rp,
(void) nfs4delegreturn(rp,
(void) nfs4delegreturn(VTOR4(vp),
(void) nfs4delegreturn(rp, NFS4_DR_REOPEN);
(void) nfs4delegreturn(VTOR4(nvp), NFS4_DR_PUSH|NFS4_DR_REOPEN);
(void) nfs4delegreturn(VTOR4(ovp), NFS4_DR_PUSH|NFS4_DR_REOPEN);
(void) nfs4delegreturn(VTOR4(vpi), NFS4_DR_REOPEN);
extern int nfs4delegreturn(rnode4_t *, int);