Searched defs:pkey_reg (Results 1 – 4 of 4) sorted by relevance
122 u64 pkey_reg = __read_pkey_reg(); in _read_pkey_reg() local134 static inline void write_pkey_reg(u64 pkey_reg) in write_pkey_reg()152 u64 pkey_reg = read_pkey_reg(); in __pkey_access_allow() local166 u64 pkey_reg = read_pkey_reg(); in __pkey_write_allow() local
44 u64 pkey_reg; in __read_pkey_reg() local51 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg()
61 unsigned pkey_reg; in __read_pkey_reg() local70 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg()
179 u64 pkey_reg = __read_pkey_reg(); in hw_pkey_get() local
Completed in 7 milliseconds