NFSV4OP_RESTOREFH
*tl++ = txdr_unsigned(NFSV4OP_RESTOREFH);
*tl++ = txdr_unsigned(NFSV4OP_RESTOREFH);
nextop == NFSV4OP_PUTPUBFH || nextop == NFSV4OP_RESTOREFH ||
case NFSV4OP_RESTOREFH:
(uintmax_t)ext_nfsstats.srvrpccnt[NFSV4OP_RESTOREFH]);