Searched refs:sepol_ibpkey_set_range (Results 1 – 4 of 4) sorted by relevance
47 extern void sepol_ibpkey_set_range(sepol_ibpkey_t *ibpkey, int low, int high);
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()