Searched refs:sepol_ibpkey_get_high (Results 1 – 4 of 4) sorted by relevance
43 extern int sepol_ibpkey_get_high(const sepol_ibpkey_t *ibpkey);
81 sepol_ibpkey_get_high;
214 int sepol_ibpkey_get_high(const sepol_ibpkey_t *ibpkey) in sepol_ibpkey_get_high() function
24 int high = sepol_ibpkey_get_high(data); in ibpkey_from_record()