Searched defs:pkey_reg (Results 1 – 4 of 4) sorted by relevance
124 u64 pkey_reg = __read_pkey_reg(); in _read_pkey_reg() local136 static inline void write_pkey_reg(u64 pkey_reg) in write_pkey_reg()154 u64 pkey_reg = read_pkey_reg(); in __pkey_access_allow() local168 u64 pkey_reg = read_pkey_reg(); in __pkey_write_allow() local
41 u64 pkey_reg; in __read_pkey_reg() local48 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg()
43 unsigned pkey_reg; in __read_pkey_reg() local52 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg()
180 u64 pkey_reg = __read_pkey_reg(); in hw_pkey_get() local