Lines Matching refs:vcpu_reg
123 *vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c1_ACTLR); in access_actlr()
145 *vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c9_L2CTLR); in access_l2ctlr()
191 *vcpu_reg(vcpu, p->Rt1) = 0; in access_l2ectlr()
224 vcpu_cp15(vcpu, r->reg) = *vcpu_reg(vcpu, p->Rt1); in access_vm_reg()
226 vcpu_cp15(vcpu, r->reg + 1) = *vcpu_reg(vcpu, p->Rt2); in access_vm_reg()
242 reg = (u64)*vcpu_reg(vcpu, p->Rt2) << 32; in access_gic_sgi()
243 reg |= *vcpu_reg(vcpu, p->Rt1) ; in access_gic_sgi()
275 *vcpu_reg(vcpu, p->Rt1) = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()
287 val = *vcpu_reg(vcpu, p->Rt1); in access_cntp_tval()
293 *vcpu_reg(vcpu, p->Rt1) = val; in access_cntp_tval()
306 val = *vcpu_reg(vcpu, p->Rt1); in access_cntp_ctl()
312 *vcpu_reg(vcpu, p->Rt1) = val; in access_cntp_ctl()
325 val = (u64)*vcpu_reg(vcpu, p->Rt2) << 32; in access_cntp_cval()
326 val |= *vcpu_reg(vcpu, p->Rt1); in access_cntp_cval()
332 *vcpu_reg(vcpu, p->Rt1) = val; in access_cntp_cval()
333 *vcpu_reg(vcpu, p->Rt2) = val >> 32; in access_cntp_cval()