57 	vcpu->arch.cp15[r->reg] = val & 0xffffffff;  in vcpu_cp15_reg64_set()
58 	vcpu->arch.cp15[r->reg + 1] = val >> 32;  in vcpu_cp15_reg64_set()
66 	val = vcpu->arch.cp15[r->reg + 1];  in vcpu_cp15_reg64_get()
68 	val = val | vcpu->arch.cp15[r->reg];  in vcpu_cp15_reg64_get()
107 	vcpu->arch.cp15[c0_MPIDR] = ((read_cpuid_mpidr() & MPIDR_SMP_BITMASK) |  in reset_mpidr()
120 	*vcpu_reg(vcpu, p->Rt1) = vcpu->arch.cp15[c1_ACTLR];  in access_actlr()
142 	*vcpu_reg(vcpu, p->Rt1) = vcpu->arch.cp15[c9_L2CTLR];  in access_l2ctlr()
159 	vcpu->arch.cp15[c9_L2CTLR] = l2ctlr;  in reset_l2ctlr()
174 	vcpu->arch.cp15[c1_ACTLR] = actlr;  in reset_actlr()
221 	vcpu->arch.cp15[r->reg] = *vcpu_reg(vcpu, p->Rt1);  in access_vm_reg()
223 		vcpu->arch.cp15[r->reg + 1] = *vcpu_reg(vcpu, p->Rt2);  in access_vm_reg()
442 	table = get_target_table(vcpu->arch.target, &num);  in emulate_cp15()
585 	table = get_target_table(vcpu->arch.target, &num);  in index_to_coproc_reg()
904 		return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpregs[vfpid],  in vfp_get_reg()
914 		return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpexc, id);  in vfp_get_reg()
916 		return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpscr, id);  in vfp_get_reg()
918 		return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpinst, id);  in vfp_get_reg()
920 		return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpinst2, id);  in vfp_get_reg()
948 		return reg_from_user(&vcpu->arch.vfp_guest.fpregs[vfpid],  in vfp_set_reg()
958 		return reg_from_user(&vcpu->arch.vfp_guest.fpexc, uaddr, id);  in vfp_set_reg()
960 		return reg_from_user(&vcpu->arch.vfp_guest.fpscr, uaddr, id);  in vfp_set_reg()
962 		return reg_from_user(&vcpu->arch.vfp_guest.fpinst, uaddr, id);  in vfp_set_reg()
964 		return reg_from_user(&vcpu->arch.vfp_guest.fpinst2, uaddr, id);  in vfp_set_reg()
1033 		ret = reg_to_user(uaddr, &vcpu->arch.cp15[r->reg], reg->id);  in kvm_arm_coproc_get_reg()
1063 		ret = reg_from_user(&vcpu->arch.cp15[r->reg], uaddr, reg->id);  in kvm_arm_coproc_set_reg()
1140 	i1 = get_target_table(vcpu->arch.target, &num);  in walk_cp15()
1251 	memset(vcpu->arch.cp15, 0x42, sizeof(vcpu->arch.cp15));  in kvm_reset_coprocs()
1256 	table = get_target_table(vcpu->arch.target, &num);  in kvm_reset_coprocs()
1260 		if (vcpu->arch.cp15[num] == 0x42424242)  in kvm_reset_coprocs()