Searched refs:check_assertion (Results 1 – 3 of 3) sorted by relevance
520 int check_assertion(policydb_t *p, avrule_t *avrule) in check_assertion() function558 rc = check_assertion(p, a); in check_assertions()
683 extern int check_assertion(policydb_t *p, avrule_t *avrule);
4720 rc = check_assertion(pdb, rule); in cil_check_neverallow()4742 rc = check_assertion(pdb, rule); in cil_check_neverallow()