658 static int pin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t *hpa)  in pin_guest_page()  argument
665 	*hpa = (hpa_t)page_to_phys(page) + (gpa & ~PAGE_MASK);  in pin_guest_page()
670 static void unpin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t hpa)  in unpin_guest_page()  argument
672 	kvm_release_pfn_dirty(hpa >> PAGE_SHIFT);  in unpin_guest_page()
681 	hpa_t hpa;  in unpin_blocks()  local
683 	hpa = (u64) scb_s->scaoh << 32 | scb_s->scaol;  in unpin_blocks()
684 	if (hpa) {  in unpin_blocks()
685 		unpin_guest_page(vcpu->kvm, vsie_page->sca_gpa, hpa);  in unpin_blocks()
691 	hpa = scb_s->itdba;  in unpin_blocks()
692 	if (hpa) {  in unpin_blocks()
693 		unpin_guest_page(vcpu->kvm, vsie_page->itdba_gpa, hpa);  in unpin_blocks()
698 	hpa = scb_s->gvrd;  in unpin_blocks()
699 	if (hpa) {  in unpin_blocks()
700 		unpin_guest_page(vcpu->kvm, vsie_page->gvrd_gpa, hpa);  in unpin_blocks()
705 	hpa = scb_s->riccbd;  in unpin_blocks()
706 	if (hpa) {  in unpin_blocks()
707 		unpin_guest_page(vcpu->kvm, vsie_page->riccbd_gpa, hpa);  in unpin_blocks()
712 	hpa = scb_s->sdnxo;  in unpin_blocks()
713 	if (hpa) {  in unpin_blocks()
714 		unpin_guest_page(vcpu->kvm, vsie_page->sdnx_gpa, hpa);  in unpin_blocks()
738 	hpa_t hpa;  in pin_blocks()  local
754 			rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
761 		scb_s->scaoh = (u32)((u64)hpa >> 32);  in pin_blocks()
762 		scb_s->scaol = (u32)(u64)hpa;  in pin_blocks()
772 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
778 		scb_s->itdba = hpa;  in pin_blocks()
791 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
797 		scb_s->gvrd = hpa;  in pin_blocks()
807 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
814 		scb_s->riccbd = hpa;  in pin_blocks()
837 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
843 		scb_s->sdnxo = hpa | sdnxc;  in pin_blocks()
855 	hpa_t hpa = (hpa_t) vsie_page->scb_o;  in unpin_scb()  local
857 	if (hpa)  in unpin_scb()
858 		unpin_guest_page(vcpu->kvm, gpa, hpa);  in unpin_scb()
871 	hpa_t hpa;  in pin_scb()  local
874 	rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_scb()
880 	vsie_page->scb_o = phys_to_virt(hpa);  in pin_scb()