Lines Matching refs:CIL_TRUE
456 return CIL_TRUE; in __cil_is_cat_in_cats()
466 if (__cil_is_cat_in_cats(cat, cats) != CIL_TRUE) { in __cil_verify_cat_in_cats()
492 if (__cil_is_cat_in_cats(cat, j->data) == CIL_TRUE) { in __cil_verify_cats_associated_with_sens()
493 ok = CIL_TRUE; in __cil_verify_cats_associated_with_sens()
498 if (ok != CIL_TRUE) { in __cil_verify_cats_associated_with_sens()
516 found = CIL_TRUE; in __cil_verify_levelrange_sensitivity()
519 if ((found == CIL_TRUE) && (curr->data == high)) { in __cil_verify_levelrange_sensitivity()
524 if (found != CIL_TRUE || curr == NULL) { in __cil_verify_levelrange_sensitivity()
785 found = CIL_TRUE; in __cil_verify_context()
794 if (found == CIL_TRUE) { in __cil_verify_context()
1408 if (blk->is_abstract == CIL_TRUE) { in __cil_verify_helper()
1662 if (blk->is_abstract == CIL_TRUE) { in __cil_pre_verify_helper()