Lines Matching refs:pkey_reg
124 u64 pkey_reg = __read_pkey_reg();
126 dprintf4("read_pkey_reg(line=%d) pkey_reg: %016llx"
128 line, pkey_reg, shadow_pkey_reg);
129 assert(pkey_reg == shadow_pkey_reg);
131 return pkey_reg;
136 static inline void write_pkey_reg(u64 pkey_reg)
139 __read_pkey_reg(), pkey_reg);
142 __write_pkey_reg(pkey_reg);
143 shadow_pkey_reg = pkey_reg;
144 dprintf4("%s(%016llx) pkey_reg: %016llx\n", __func__,
145 pkey_reg, __read_pkey_reg());
154 u64 pkey_reg = read_pkey_reg();
158 pkey_reg &= (1<<bit);
160 pkey_reg |= (1<<bit);
162 dprintf4("pkey_reg now: %016llx\n", read_pkey_reg());
163 write_pkey_reg(pkey_reg);
168 u64 pkey_reg = read_pkey_reg();
172 pkey_reg &= (1<<bit);
174 pkey_reg |= (1<<bit);
176 write_pkey_reg(pkey_reg);
177 dprintf4("pkey_reg now: %016llx\n", read_pkey_reg());