NFSV4OP_DESTROYSESSION
{ NFSV4OP_DESTROYSESSION, 1, "DestroySession", 14, },
op != NFSV4OP_DESTROYSESSION)
if (nd != NULL && nfsrv_checkmachcred(NFSV4OP_DESTROYSESSION,
(uintmax_t)ext_nfsstats.srvrpccnt[NFSV4OP_DESTROYSESSION],