Searched refs:pkey_value (Results 1 – 1 of 1) sorted by relevance
162 static void set_pkey(int pkey, unsigned long pkey_value) in set_pkey() argument166 new_pkey_reg = set_pkey_bits(__read_pkey_reg(), pkey, pkey_value); in set_pkey()