itdba_gpa          43 arch/s390/kvm/vsie.c 	gpa_t itdba_gpa;			/* 0x0238 */
itdba_gpa         678 arch/s390/kvm/vsie.c 		unpin_guest_page(vcpu->kvm, vsie_page->itdba_gpa, hpa);
itdba_gpa         679 arch/s390/kvm/vsie.c 		vsie_page->itdba_gpa = 0;
itdba_gpa         762 arch/s390/kvm/vsie.c 		vsie_page->itdba_gpa = gpa;