riccbd_gpa         45 arch/s390/kvm/vsie.c 	gpa_t riccbd_gpa;			/* 0x0248 */
riccbd_gpa        692 arch/s390/kvm/vsie.c 		unpin_guest_page(vcpu->kvm, vsie_page->riccbd_gpa, hpa);
riccbd_gpa        693 arch/s390/kvm/vsie.c 		vsie_page->riccbd_gpa = 0;
riccbd_gpa        798 arch/s390/kvm/vsie.c 		vsie_page->riccbd_gpa = gpa;