arm64/kvm/sys_regs.c

4479 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
4491 	 * Make a 64-bit value out of Rt and Rt2. As we use the same trap
4495 		params.regval = vcpu_get_reg(vcpu, Rt) & 0xffffffff;
4507 			vcpu_set_reg(vcpu, Rt, lower_32_bits(params.regval));
4575 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
4586 		vcpu_set_reg(vcpu, Rt, params.regval);
4611 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
4631 	vcpu_set_reg(vcpu, Rt, params->regval);
4647 	int Rt  = kvm_vcpu_sys_get_rt(vcpu);
4649 	params->regval = vcpu_get_reg(vcpu, Rt);
4653 			vcpu_set_reg(vcpu, Rt, params->regval);
4896 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
4905 	params.regval = vcpu_get_reg(vcpu, Rt);
4918 		vcpu_set_reg(vcpu, Rt, params.regval);