Lines Matching defs:high
653 static int __cil_verify_levelrange_sensitivity(struct cil_db *db, struct cil_sens *low, struct cil_sens *high)
664 if ((found == CIL_TRUE) && (curr->data == high)) {
677 high->datum.name, low->datum.name);
682 static int __cil_verify_levelrange_cats(struct cil_cats *low, struct cil_cats *high)
687 if (low == NULL || (low == NULL && high == NULL)) {
691 if (high == NULL) {
697 rc = __cil_verify_cat_in_cats(item->data, high);
706 cil_log(CIL_ERR, "Low level category set must be a subset of the high level category set\n");
714 rc = __cil_verify_levelrange_sensitivity(db, lr->low->sens, lr->high->sens);
719 rc = __cil_verify_levelrange_cats(lr->low->cats, lr->high->cats);
730 rc = __cil_verify_cats_associated_with_sens(lr->high->sens, lr->high->cats);
886 struct cil_level *user_high = user->range->high;
888 struct cil_level *ctx_high = ctx->range->high;