641 static int pin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t *hpa)  in pin_guest_page()  argument
648 	*hpa = (hpa_t) page_to_virt(page) + (gpa & ~PAGE_MASK);  in pin_guest_page()
653 static void unpin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t hpa)  in unpin_guest_page()  argument
655 	kvm_release_pfn_dirty(hpa >> PAGE_SHIFT);  in unpin_guest_page()
664 	hpa_t hpa;  in unpin_blocks()  local
666 	hpa = (u64) scb_s->scaoh << 32 | scb_s->scaol;  in unpin_blocks()
667 	if (hpa) {  in unpin_blocks()
668 		unpin_guest_page(vcpu->kvm, vsie_page->sca_gpa, hpa);  in unpin_blocks()
674 	hpa = scb_s->itdba;  in unpin_blocks()
675 	if (hpa) {  in unpin_blocks()
676 		unpin_guest_page(vcpu->kvm, vsie_page->itdba_gpa, hpa);  in unpin_blocks()
681 	hpa = scb_s->gvrd;  in unpin_blocks()
682 	if (hpa) {  in unpin_blocks()
683 		unpin_guest_page(vcpu->kvm, vsie_page->gvrd_gpa, hpa);  in unpin_blocks()
688 	hpa = scb_s->riccbd;  in unpin_blocks()
689 	if (hpa) {  in unpin_blocks()
690 		unpin_guest_page(vcpu->kvm, vsie_page->riccbd_gpa, hpa);  in unpin_blocks()
695 	hpa = scb_s->sdnxo;  in unpin_blocks()
696 	if (hpa) {  in unpin_blocks()
697 		unpin_guest_page(vcpu->kvm, vsie_page->sdnx_gpa, hpa);  in unpin_blocks()
721 	hpa_t hpa;  in pin_blocks()  local
737 			rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
744 		scb_s->scaoh = (u32)((u64)hpa >> 32);  in pin_blocks()
745 		scb_s->scaol = (u32)(u64)hpa;  in pin_blocks()
755 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
761 		scb_s->itdba = hpa;  in pin_blocks()
774 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
780 		scb_s->gvrd = hpa;  in pin_blocks()
790 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
797 		scb_s->riccbd = hpa;  in pin_blocks()
820 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
826 		scb_s->sdnxo = hpa | sdnxc;  in pin_blocks()
838 	hpa_t hpa = (hpa_t) vsie_page->scb_o;  in unpin_scb()  local
840 	if (hpa)  in unpin_scb()
841 		unpin_guest_page(vcpu->kvm, gpa, hpa);  in unpin_scb()
854 	hpa_t hpa;  in pin_scb()  local
857 	rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_scb()
863 	vsie_page->scb_o = (struct kvm_s390_sie_block *) hpa;  in pin_scb()