Lines Matching defs:pkey_reg
122 u64 pkey_reg = __read_pkey_reg();
124 dprintf4("read_pkey_reg(line=%d) pkey_reg: %016llx"
126 line, pkey_reg, shadow_pkey_reg);
127 assert(pkey_reg == shadow_pkey_reg);
129 return pkey_reg;
134 static inline void write_pkey_reg(u64 pkey_reg)
137 __read_pkey_reg(), pkey_reg);
140 __write_pkey_reg(pkey_reg);
141 shadow_pkey_reg = pkey_reg;
142 dprintf4("%s(%016llx) pkey_reg: %016llx\n", __func__,
143 pkey_reg, __read_pkey_reg());
152 u64 pkey_reg = read_pkey_reg();
156 pkey_reg &= (1<<bit);
158 pkey_reg |= (1<<bit);
160 dprintf4("pkey_reg now: %016llx\n", read_pkey_reg());
161 write_pkey_reg(pkey_reg);
166 u64 pkey_reg = read_pkey_reg();
170 pkey_reg &= (1<<bit);
172 pkey_reg |= (1<<bit);
174 write_pkey_reg(pkey_reg);
175 dprintf4("pkey_reg now: %016llx\n", read_pkey_reg());