653  * Pin the guest page given by gpa and set hpa to the pinned host address.
659 static int pin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t *hpa)  in pin_guest_page()  argument
666 	*hpa = (hpa_t)page_to_phys(page) + (gpa & ~PAGE_MASK);  in pin_guest_page()
671 static void unpin_guest_page(struct kvm *kvm, gpa_t gpa, hpa_t hpa)  in unpin_guest_page()  argument
673 	kvm_release_pfn_dirty(hpa >> PAGE_SHIFT);  in unpin_guest_page()
682 	hpa_t hpa;  in unpin_blocks()  local
684 	hpa = (u64) scb_s->scaoh << 32 | scb_s->scaol;  in unpin_blocks()
685 	if (hpa) {  in unpin_blocks()
686 		unpin_guest_page(vcpu->kvm, vsie_page->sca_gpa, hpa);  in unpin_blocks()
692 	hpa = scb_s->itdba;  in unpin_blocks()
693 	if (hpa) {  in unpin_blocks()
694 		unpin_guest_page(vcpu->kvm, vsie_page->itdba_gpa, hpa);  in unpin_blocks()
699 	hpa = scb_s->gvrd;  in unpin_blocks()
700 	if (hpa) {  in unpin_blocks()
701 		unpin_guest_page(vcpu->kvm, vsie_page->gvrd_gpa, hpa);  in unpin_blocks()
706 	hpa = scb_s->riccbd;  in unpin_blocks()
707 	if (hpa) {  in unpin_blocks()
708 		unpin_guest_page(vcpu->kvm, vsie_page->riccbd_gpa, hpa);  in unpin_blocks()
713 	hpa = scb_s->sdnxo;  in unpin_blocks()
714 	if (hpa) {  in unpin_blocks()
715 		unpin_guest_page(vcpu->kvm, vsie_page->sdnx_gpa, hpa);  in unpin_blocks()
739 	hpa_t hpa;  in pin_blocks()  local
755 			rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
762 		scb_s->scaoh = (u32)((u64)hpa >> 32);  in pin_blocks()
763 		scb_s->scaol = (u32)(u64)hpa;  in pin_blocks()
773 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
779 		scb_s->itdba = hpa;  in pin_blocks()
792 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
798 		scb_s->gvrd = hpa;  in pin_blocks()
808 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
815 		scb_s->riccbd = hpa;  in pin_blocks()
838 		rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_blocks()
844 		scb_s->sdnxo = hpa | sdnxc;  in pin_blocks()
856 	hpa_t hpa = (hpa_t) vsie_page->scb_o;  in unpin_scb()  local
858 	if (hpa)  in unpin_scb()
859 		unpin_guest_page(vcpu->kvm, gpa, hpa);  in unpin_scb()
872 	hpa_t hpa;  in pin_scb()  local
875 	rc = pin_guest_page(vcpu->kvm, gpa, &hpa);  in pin_scb()
881 	vsie_page->scb_o = phys_to_virt(hpa);  in pin_scb()