arm64/kvm/sys_regs.c

3816 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
3828 	 * Make a 64-bit value out of Rt and Rt2. As we use the same trap
3832 		params.regval = vcpu_get_reg(vcpu, Rt) & 0xffffffff;
3844 			vcpu_set_reg(vcpu, Rt, lower_32_bits(params.regval));
3912 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
3923 		vcpu_set_reg(vcpu, Rt, params.regval);
3948 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
3968 	vcpu_set_reg(vcpu, Rt, params->regval);
3984 	int Rt  = kvm_vcpu_sys_get_rt(vcpu);
3986 	params->regval = vcpu_get_reg(vcpu, Rt);
3990 			vcpu_set_reg(vcpu, Rt, params->regval);
4223 	int Rt = kvm_vcpu_sys_get_rt(vcpu);
4232 	params.regval = vcpu_get_reg(vcpu, Rt);
4245 		vcpu_set_reg(vcpu, Rt, params.regval);