Lines Matching refs:vcpu_cp15
78 vcpu_cp15(vcpu, r->reg) = val & 0xffffffff; in vcpu_cp15_reg64_set()
79 vcpu_cp15(vcpu, r->reg + 1) = val >> 32; in vcpu_cp15_reg64_set()
87 val = vcpu_cp15(vcpu, r->reg + 1); in vcpu_cp15_reg64_get()
89 val = val | vcpu_cp15(vcpu, r->reg); in vcpu_cp15_reg64_get()
122 vcpu_cp15(vcpu, c0_MPIDR) = ((read_cpuid_mpidr() & MPIDR_SMP_BITMASK) | in reset_mpidr()
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()
174 vcpu_cp15(vcpu, c9_L2CTLR) = l2ctlr; in reset_l2ctlr()
189 vcpu_cp15(vcpu, c1_ACTLR) = actlr; in reset_actlr()
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()
1226 ret = reg_to_user(uaddr, &vcpu_cp15(vcpu, r->reg), reg->id); in kvm_arm_coproc_get_reg()
1256 ret = reg_from_user(&vcpu_cp15(vcpu, r->reg), uaddr, reg->id); in kvm_arm_coproc_set_reg()
1453 if (vcpu_cp15(vcpu, num) == 0x42424242) in kvm_reset_coprocs()