124 	u64 pkey_reg = __read_pkey_reg();  in _read_pkey_reg()  local
128 			line, pkey_reg, shadow_pkey_reg);  in _read_pkey_reg()
129 	assert(pkey_reg == shadow_pkey_reg);  in _read_pkey_reg()
131 	return pkey_reg;  in _read_pkey_reg()
136 static inline void write_pkey_reg(u64 pkey_reg)  in write_pkey_reg()  argument
139 			__read_pkey_reg(), pkey_reg);  in write_pkey_reg()
142 	__write_pkey_reg(pkey_reg);  in write_pkey_reg()
143 	shadow_pkey_reg = pkey_reg;  in write_pkey_reg()
145 			pkey_reg, __read_pkey_reg());  in write_pkey_reg()
154 	u64 pkey_reg = read_pkey_reg();  in __pkey_access_allow()  local
158 		pkey_reg &= (1<<bit);  in __pkey_access_allow()
160 		pkey_reg |= (1<<bit);  in __pkey_access_allow()
163 	write_pkey_reg(pkey_reg);  in __pkey_access_allow()
168 	u64 pkey_reg = read_pkey_reg();  in __pkey_write_allow()  local
172 		pkey_reg &= (1<<bit);  in __pkey_write_allow()
174 		pkey_reg |= (1<<bit);  in __pkey_write_allow()
176 	write_pkey_reg(pkey_reg);  in __pkey_write_allow()