Lines Matching refs:pkey
81 void expected_pkey_fault(int pkey);
83 int sys_pkey_free(unsigned long pkey);
85 unsigned long pkey);
89 #include "pkey-x86.h"
91 #include "pkey-powerpc.h"
98 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags)
100 u32 shift = pkey_bit_position(pkey);
101 /* mask out bits from pkey in old value */
103 /* OR in new bits for pkey */
108 static inline u64 get_pkey_bits(u64 reg, int pkey)
110 u32 shift = pkey_bit_position(pkey);
150 static inline void __pkey_access_allow(int pkey, int do_allow)
153 int bit = pkey * 2;
164 static inline void __pkey_write_allow(int pkey, int do_allow_write)
167 int bit = pkey * 2 + 1;