55 static int recreate_hyp_mappings(phys_addr_t phys, unsigned long size,  in recreate_hyp_mappings()  argument
59 	void *start, *end, *virt = hyp_phys_to_virt(phys);  in recreate_hyp_mappings()
79 	ret = hyp_back_vmemmap(phys, size, hyp_virt_to_phys(vmemmap_base));  in recreate_hyp_mappings()
170 	phys_addr_t phys;  in finalize_host_mappings_walker()  local
178 	phys = kvm_pte_to_phys(pte);  in finalize_host_mappings_walker()
179 	if (!addr_is_memory(phys))  in finalize_host_mappings_walker()
189 		return host_stage2_set_owner_locked(phys, PAGE_SIZE, pkvm_hyp_id);  in finalize_host_mappings_walker()
200 	return host_stage2_idmap_locked(phys, PAGE_SIZE, prot);  in finalize_host_mappings_walker()
255 int __pkvm_init(phys_addr_t phys, unsigned long size, unsigned long nr_cpus,  in __pkvm_init()  argument
259 	void *virt = hyp_phys_to_virt(phys);  in __pkvm_init()
263 	if (!PAGE_ALIGNED(phys) || !PAGE_ALIGNED(size))  in __pkvm_init()
273 	ret = recreate_hyp_mappings(phys, size, per_cpu_base, hyp_va_bits);  in __pkvm_init()