public void xdrEncode(XdrEncodingStream xdr) { craa_type_mask.xdrEncode(xdr); }
public void xdrEncode(XdrEncodingStream xdr) { attr_request.xdrEncode(xdr); }