rctl_model_maximum
rval->rcv_value < rctl_model_maximum(
rval->rcv_value < rctl_model_maximum(rctl->rc_dict_entry,
rval->rcv_value < rctl_model_maximum(rctl->rc_dict_entry, p))
rctl_qty_t max = rctl_model_maximum(rde, p);
rctl_qty_t rctl_model_maximum(rctl_dict_entry_t *, struct proc *);