Lines Matching refs:pkey_reg
143 u64 pkey_reg = __read_pkey_reg(); in _read_pkey_reg() local
147 line, pkey_reg, shadow_pkey_reg); in _read_pkey_reg()
148 assert(pkey_reg == shadow_pkey_reg); in _read_pkey_reg()
150 return pkey_reg; in _read_pkey_reg()
155 static inline void write_pkey_reg(u64 pkey_reg) in write_pkey_reg() argument
158 __read_pkey_reg(), pkey_reg); in write_pkey_reg()
161 __write_pkey_reg(pkey_reg); in write_pkey_reg()
162 shadow_pkey_reg = pkey_reg; in write_pkey_reg()
164 pkey_reg, __read_pkey_reg()); in write_pkey_reg()
173 u64 pkey_reg = read_pkey_reg(); in __pkey_access_allow() local
177 pkey_reg &= (1<<bit); in __pkey_access_allow()
179 pkey_reg |= (1<<bit); in __pkey_access_allow()
182 write_pkey_reg(pkey_reg); in __pkey_access_allow()
187 u64 pkey_reg = read_pkey_reg(); in __pkey_write_allow() local
191 pkey_reg &= (1<<bit); in __pkey_write_allow()
193 pkey_reg |= (1<<bit); in __pkey_write_allow()
195 write_pkey_reg(pkey_reg); in __pkey_write_allow()