381 bool addr_is_memory(phys_addr_t phys)  in addr_is_memory()  argument
385 	return !!find_mem_range(phys, &range);  in addr_is_memory()
688 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_share_hyp()  local
689 	void *virt = __hyp_va(phys);  in __pkvm_host_share_hyp()
697 	ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);  in __pkvm_host_share_hyp()
708 	WARN_ON(__host_set_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED));  in __pkvm_host_share_hyp()
719 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_unshare_hyp()  local
720 	u64 virt = (u64)__hyp_va(phys);  in __pkvm_host_unshare_hyp()
727 	ret = __host_check_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);  in __pkvm_host_unshare_hyp()
739 	WARN_ON(__host_set_page_state_range(phys, size, PKVM_PAGE_OWNED));  in __pkvm_host_unshare_hyp()
750 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_donate_hyp()  local
752 	void *virt = __hyp_va(phys);  in __pkvm_host_donate_hyp()
759 	ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);  in __pkvm_host_donate_hyp()
770 	WARN_ON(host_stage2_set_owner_locked(phys, size, PKVM_ID_HYP));  in __pkvm_host_donate_hyp()
781 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_hyp_donate_host()  local
783 	u64 virt = (u64)__hyp_va(phys);  in __pkvm_hyp_donate_host()
793 		ret = __host_check_page_state_range(phys, size, PKVM_NOPAGE);  in __pkvm_hyp_donate_host()
799 	WARN_ON(host_stage2_set_owner_locked(phys, size, PKVM_ID_HOST));  in __pkvm_hyp_donate_host()
855 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_share_ffa()  local
860 	ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);  in __pkvm_host_share_ffa()
862 		ret = __host_set_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);  in __pkvm_host_share_ffa()
870 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_unshare_ffa()  local
875 	ret = __host_check_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);  in __pkvm_host_unshare_ffa()
877 		ret = __host_set_page_state_range(phys, size, PKVM_PAGE_OWNED);  in __pkvm_host_unshare_ffa()
887 	u64 phys = hyp_pfn_to_phys(pfn);  in __pkvm_host_share_guest()  local
895 	ret = check_range_allowed_memory(phys, phys + PAGE_SIZE);  in __pkvm_host_share_guest()
906 	page = hyp_phys_to_page(phys);  in __pkvm_host_share_guest()
909 		WARN_ON(__host_set_page_state_range(phys, PAGE_SIZE, PKVM_PAGE_SHARED_OWNED));  in __pkvm_host_share_guest()
922 	WARN_ON(kvm_pgtable_stage2_map(&vm->pgt, ipa, PAGE_SIZE, phys,  in __pkvm_host_share_guest()
939 	u64 phys;  in __check_host_shared_guest()  local
955 	phys = kvm_pte_to_phys(pte);  in __check_host_shared_guest()
956 	ret = check_range_allowed_memory(phys, phys + PAGE_SIZE);  in __check_host_shared_guest()
960 	page = hyp_phys_to_page(phys);  in __check_host_shared_guest()
966 	*__phys = phys;  in __check_host_shared_guest()
975 	u64 phys;  in __pkvm_host_unshare_guest()  local
981 	ret = __check_host_shared_guest(vm, &phys, ipa);  in __pkvm_host_unshare_guest()
989 	page = hyp_phys_to_page(phys);  in __pkvm_host_unshare_guest()
992 		WARN_ON(__host_set_page_state_range(phys, PAGE_SIZE, PKVM_PAGE_OWNED));  in __pkvm_host_unshare_guest()
1003 	u64 phys;  in assert_host_shared_guest()  local
1012 	ret = __check_host_shared_guest(vm, &phys, ipa);  in assert_host_shared_guest()