73 static int recreate_hyp_mappings(phys_addr_t phys, unsigned long size,  in recreate_hyp_mappings()  argument
77 	void *start, *end, *virt = hyp_phys_to_virt(phys);  in recreate_hyp_mappings()
195 	phys_addr_t phys;  in fix_host_ownership_walker()  local
203 	phys = kvm_pte_to_phys(pte);  in fix_host_ownership_walker()
204 	if (!addr_is_memory(phys))  in fix_host_ownership_walker()
214 		return host_stage2_set_owner_locked(phys, PAGE_SIZE, pkvm_hyp_id);  in fix_host_ownership_walker()
225 	return host_stage2_idmap_locked(phys, PAGE_SIZE, prot, false);  in fix_host_ownership_walker()
335 int __pkvm_init(phys_addr_t phys, unsigned long size, unsigned long nr_cpus,  in __pkvm_init()  argument
339 	void *virt = hyp_phys_to_virt(phys);  in __pkvm_init()
345 	if (!PAGE_ALIGNED(phys) || !PAGE_ALIGNED(size))  in __pkvm_init()
355 	ret = recreate_hyp_mappings(phys, size, per_cpu_base, hyp_va_bits);  in __pkvm_init()