Lines Matching refs:pkey
83 void expected_pkey_fault(int pkey);
85 int sys_pkey_free(unsigned long pkey);
87 unsigned long pkey);
100 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags) in set_pkey_bits() argument
102 u32 shift = pkey_bit_position(pkey); in set_pkey_bits()
110 static inline u64 get_pkey_bits(u64 reg, int pkey) in get_pkey_bits() argument
112 u32 shift = pkey_bit_position(pkey); in get_pkey_bits()
152 static inline void __pkey_access_allow(int pkey, int do_allow) in __pkey_access_allow() argument
155 int bit = pkey * 2; in __pkey_access_allow()
166 static inline void __pkey_write_allow(int pkey, int do_allow_write) in __pkey_write_allow() argument
169 int bit = pkey * 2 + 1; in __pkey_write_allow()