paramnr           148 arch/powerpc/kvm/book3s_pr_papr.c 	int paramnr = 4;
paramnr           153 arch/powerpc/kvm/book3s_pr_papr.c 		unsigned long tsh = kvmppc_get_gpr(vcpu, paramnr+(2*i));
paramnr           154 arch/powerpc/kvm/book3s_pr_papr.c 		unsigned long tsl = kvmppc_get_gpr(vcpu, paramnr+(2*i)+1);
paramnr           173 arch/powerpc/kvm/book3s_pr_papr.c 			kvmppc_set_gpr(vcpu, paramnr+(2*i), tsh);
paramnr           206 arch/powerpc/kvm/book3s_pr_papr.c 		kvmppc_set_gpr(vcpu, paramnr+(2*i), tsh);