135 	*vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c1_ACTLR);  in access_actlr()
157 	*vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c9_L2CTLR);  in access_l2ctlr()
203 	*vcpu_reg(vcpu, p->Rt1) = 0;  in access_l2ectlr()
236 	vcpu_cp15(vcpu, r->reg) = *vcpu_reg(vcpu, p->Rt1);  in access_vm_reg()
238 		vcpu_cp15(vcpu, r->reg + 1) = *vcpu_reg(vcpu, p->Rt2);  in access_vm_reg()
254 	reg = (u64)*vcpu_reg(vcpu, p->Rt2) << 32;  in access_gic_sgi()
255 	reg |= *vcpu_reg(vcpu, p->Rt1) ;  in access_gic_sgi()
287 	*vcpu_reg(vcpu, p->Rt1) = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre;  in access_gic_sre()
300 		val = *vcpu_reg(vcpu, p->Rt1);  in access_cntp_tval()
304 		*vcpu_reg(vcpu, p->Rt1) = val - now;  in access_cntp_tval()
317 		val = *vcpu_reg(vcpu, p->Rt1);  in access_cntp_ctl()
321 		*vcpu_reg(vcpu, p->Rt1) = val;  in access_cntp_ctl()
334 		val = (u64)*vcpu_reg(vcpu, p->Rt2) << 32;  in access_cntp_cval()
335 		val |= *vcpu_reg(vcpu, p->Rt1);  in access_cntp_cval()
339 		*vcpu_reg(vcpu, p->Rt1) = val;  in access_cntp_cval()
340 		*vcpu_reg(vcpu, p->Rt2) = val >> 32;  in access_cntp_cval()