Lines Matching defs:pkey
83 void expected_pkey_fault(int pkey);
85 int sys_pkey_free(unsigned long pkey);
87 unsigned long pkey);
91 #include "pkey-x86.h"
93 #include "pkey-powerpc.h"
100 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags)
102 u32 shift = pkey_bit_position(pkey);
103 /* mask out bits from pkey in old value */
105 /* OR in new bits for pkey */
110 static inline u64 get_pkey_bits(u64 reg, int pkey)
112 u32 shift = pkey_bit_position(pkey);
152 static inline void __pkey_access_allow(int pkey, int do_allow)
155 int bit = pkey * 2;
166 static inline void __pkey_write_allow(int pkey, int do_allow_write)
169 int bit = pkey * 2 + 1;