Searched refs:pkey_num (Results 1 – 2 of 2) sorted by relevance
220 void sepol_ibpkey_set_pkey(sepol_ibpkey_t *ibpkey, int pkey_num) in sepol_ibpkey_set_pkey() argument222 ibpkey->low = pkey_num; in sepol_ibpkey_set_pkey()223 ibpkey->high = pkey_num; in sepol_ibpkey_set_pkey()
45 extern void sepol_ibpkey_set_pkey(sepol_ibpkey_t *ibpkey, int pkey_num);