105 		vcpu_sys_reg(vcpu, r->reg) = p->regval;  in access_vm_reg()
108 			vcpu_cp15_64_high(vcpu, r->reg) = upper_32_bits(p->regval);  in access_vm_reg()
109 		vcpu_cp15_64_low(vcpu, r->reg) = lower_32_bits(p->regval);  in access_vm_reg()
129 	vgic_v3_dispatch_sgi(vcpu, p->regval);  in access_gic_sgi()
151 		p->regval = (1 << 3);  in trap_oslsr_el1()
165 		p->regval = val;  in trap_dbgauthstatus_el1()
202 		vcpu_sys_reg(vcpu, r->reg) = p->regval;  in trap_debug_regs()
205 		p->regval = vcpu_sys_reg(vcpu, r->reg);  in trap_debug_regs()
208 	trace_trap_reg(__func__, r->reg, p->is_write, p->regval);  in trap_debug_regs()
226 	u64 val = p->regval;  in reg_to_dbg()
241 	p->regval = *dbg_reg;  in dbg_to_reg()
243 		p->regval &= 0xffffffffUL;  in dbg_to_reg()
692 		p->regval = ((((dfr >> ID_AA64DFR0_WRPS_SHIFT) & 0xf) << 28) |  in trap_dbgidr()
705 		vcpu_cp14(vcpu, r->reg) = p->regval;  in trap_debug32()
708 		p->regval = vcpu_cp14(vcpu, r->reg);  in trap_debug32()
735 		val |= p->regval << 32;  in trap_xvr()
740 		p->regval = *dbg_reg >> 32;  in trap_xvr()
1075 		params.regval = vcpu_get_reg(vcpu, Rt) & 0xffffffff;  in kvm_handle_cp_64()
1076 		params.regval |= vcpu_get_reg(vcpu, Rt2) << 32;  in kvm_handle_cp_64()
1089 		vcpu_set_reg(vcpu, Rt, lower_32_bits(params.regval));  in kvm_handle_cp_64()
1090 		vcpu_set_reg(vcpu, Rt2, upper_32_bits(params.regval));  in kvm_handle_cp_64()
1114 	params.regval = vcpu_get_reg(vcpu, Rt);  in kvm_handle_cp_32()
1124 			vcpu_set_reg(vcpu, Rt, params.regval);  in kvm_handle_cp_32()
1236 	params.regval = vcpu_get_reg(vcpu, Rt);  in kvm_handle_sys_reg()
1242 		vcpu_set_reg(vcpu, Rt, params.regval);  in kvm_handle_sys_reg()