Lines Matching refs:vcpu_cp15
66 vcpu_cp15(vcpu, r->reg) = val & 0xffffffff; in vcpu_cp15_reg64_set()
67 vcpu_cp15(vcpu, r->reg + 1) = val >> 32; in vcpu_cp15_reg64_set()
75 val = vcpu_cp15(vcpu, r->reg + 1); in vcpu_cp15_reg64_get()
77 val = val | vcpu_cp15(vcpu, r->reg); in vcpu_cp15_reg64_get()
110 vcpu_cp15(vcpu, c0_MPIDR) = ((read_cpuid_mpidr() & MPIDR_SMP_BITMASK) | in reset_mpidr()
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()
162 vcpu_cp15(vcpu, c9_L2CTLR) = l2ctlr; in reset_l2ctlr()
177 vcpu_cp15(vcpu, c1_ACTLR) = actlr; in reset_actlr()
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()
1228 ret = reg_to_user(uaddr, &vcpu_cp15(vcpu, r->reg), reg->id); in kvm_arm_coproc_get_reg()
1258 ret = reg_from_user(&vcpu_cp15(vcpu, r->reg), uaddr, reg->id); in kvm_arm_coproc_set_reg()