1 // SPDX-License-Identifier: GPL-2.0
4 #include <asm/xen/page.h>
5 #include <asm/xen/hypercall.h>
6 #include <xen/interface/memory.h>
8 #include "multicalls.h"
11 unsigned long arbitrary_virt_to_mfn(void *vaddr
)
13 xmaddr_t maddr
= arbitrary_virt_to_machine(vaddr
);
15 return PFN_DOWN(maddr
.maddr
);
18 xmaddr_t
arbitrary_virt_to_machine(void *vaddr
)
20 unsigned long address
= (unsigned long)vaddr
;
26 * if the PFN is in the linear mapped vaddr range, we can just use
27 * the (quick) virt_to_machine() p2m lookup
29 if (virt_addr_valid(vaddr
))
30 return virt_to_machine(vaddr
);
32 /* otherwise we have to do a (slower) full page-table walk */
34 pte
= lookup_address(address
, &level
);
36 offset
= address
& ~PAGE_MASK
;
37 return XMADDR(((phys_addr_t
)pte_mfn(*pte
) << PAGE_SHIFT
) + offset
);
39 EXPORT_SYMBOL_GPL(arbitrary_virt_to_machine
);
41 /* Returns: 0 success */
42 int xen_unmap_domain_gfn_range(struct vm_area_struct
*vma
,
43 int nr
, struct page
**pages
)
45 if (xen_feature(XENFEAT_auto_translated_physmap
))
46 return xen_xlate_unmap_gfn_range(vma
, nr
, pages
);
53 EXPORT_SYMBOL_GPL(xen_unmap_domain_gfn_range
);