Lines Matching refs:pkey
94 void expected_pkey_fault(int pkey);
96 int sys_pkey_free(unsigned long pkey);
98 unsigned long pkey);
116 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags) in set_pkey_bits() argument
118 u32 shift = pkey_bit_position(pkey); in set_pkey_bits()
128 static inline u64 get_pkey_bits(u64 reg, int pkey) in get_pkey_bits() argument
130 u32 shift = pkey_bit_position(pkey); in get_pkey_bits()
171 static inline void __pkey_access_allow(int pkey, int do_allow) in __pkey_access_allow() argument
174 int bit = pkey * 2; in __pkey_access_allow()
185 static inline void __pkey_write_allow(int pkey, int do_allow_write) in __pkey_write_allow() argument
188 int bit = pkey * 2 + 1; in __pkey_write_allow()