Lines Matching refs:pkey_reg
122 u64 pkey_reg = __read_pkey_reg(); in _read_pkey_reg() local
126 line, pkey_reg, shadow_pkey_reg); in _read_pkey_reg()
127 assert(pkey_reg == shadow_pkey_reg); in _read_pkey_reg()
129 return pkey_reg; in _read_pkey_reg()
134 static inline void write_pkey_reg(u64 pkey_reg) in write_pkey_reg() argument
137 __read_pkey_reg(), pkey_reg); in write_pkey_reg()
140 __write_pkey_reg(pkey_reg); in write_pkey_reg()
141 shadow_pkey_reg = pkey_reg; in write_pkey_reg()
143 pkey_reg, __read_pkey_reg()); in write_pkey_reg()
152 u64 pkey_reg = read_pkey_reg(); in __pkey_access_allow() local
156 pkey_reg &= (1<<bit); in __pkey_access_allow()
158 pkey_reg |= (1<<bit); in __pkey_access_allow()
161 write_pkey_reg(pkey_reg); in __pkey_access_allow()
166 u64 pkey_reg = read_pkey_reg(); in __pkey_write_allow() local
170 pkey_reg &= (1<<bit); in __pkey_write_allow()
172 pkey_reg |= (1<<bit); in __pkey_write_allow()
174 write_pkey_reg(pkey_reg); in __pkey_write_allow()