NFSV4LOCKT_READ
NFSV4LOCKT_READ, cred, p, 0);
*tl++ = txdr_unsigned(NFSV4LOCKT_READ);
*tl++ = txdr_unsigned(NFSV4LOCKT_READ);
u_int32_t type = NFSV4LOCKT_READ;
type = NFSV4LOCKT_READ;
type = NFSV4LOCKT_READ;
case NFSV4LOCKT_READ:
*tl++ = txdr_unsigned(NFSV4LOCKT_READ);
case NFSV4LOCKT_READ:
*tl++ = txdr_unsigned(NFSV4LOCKT_READ);
case NFSV4LOCKT_READ: