Searched refs:sepol_ibpkey_set_range (Results 1 – 5 of 5) sorted by relevance
47 extern void sepol_ibpkey_set_range(sepol_ibpkey_t *ibpkey, int low, int high);
117 sepol_ibpkey_set_range(ibpkey, low, high); in semanage_ibpkey_set_range()
94 sepol_ibpkey_set_range;
226 void sepol_ibpkey_set_range(sepol_ibpkey_t *ibpkey, int low, int high) in sepol_ibpkey_set_range() function
82 sepol_ibpkey_set_range(tmp_record, ibpkey->u.ibpkey.low_pkey, in ibpkey_to_record()