Lines Matching refs:pkey
81 void expected_pkey_fault(int pkey);
83 int sys_pkey_free(unsigned long pkey);
85 unsigned long pkey);
98 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags) in set_pkey_bits() argument
100 u32 shift = pkey_bit_position(pkey); in set_pkey_bits()
108 static inline u64 get_pkey_bits(u64 reg, int pkey) in get_pkey_bits() argument
110 u32 shift = pkey_bit_position(pkey); in get_pkey_bits()
150 static inline void __pkey_access_allow(int pkey, int do_allow) in __pkey_access_allow() argument
153 int bit = pkey * 2; in __pkey_access_allow()
164 static inline void __pkey_write_allow(int pkey, int do_allow_write) in __pkey_write_allow() argument
167 int bit = pkey * 2 + 1; in __pkey_write_allow()