NFSV4LOCKT_WRITE
*tl++ = txdr_unsigned(NFSV4LOCKT_WRITE);
if (type == NFSV4LOCKT_WRITE)
*tl++ = txdr_unsigned(NFSV4LOCKT_WRITE);
type = NFSV4LOCKT_WRITE;
case NFSV4LOCKT_WRITE:
*tl++ = txdr_unsigned(NFSV4LOCKT_WRITE);
case NFSV4LOCKT_WRITE:
*tl++ = txdr_unsigned(NFSV4LOCKT_WRITE);
case NFSV4LOCKT_WRITE: