linux/arch/x86/xen/mmu.c

// SPDX-License-Identifier: GPL-2.0

#include <linux/pfn.h>
#include <asm/xen/page.h>
#include <asm/xen/hypercall.h>
#include <xen/interface/memory.h>

#include "xen-ops.h"

unsigned long arbitrary_virt_to_mfn(void *vaddr)
{ … }

xmaddr_t arbitrary_virt_to_machine(void *vaddr)
{ … }
EXPORT_SYMBOL_GPL(…);

/* Returns: 0 success */
int xen_unmap_domain_gfn_range(struct vm_area_struct *vma,
			       int nr, struct page **pages)
{ … }
EXPORT_SYMBOL_GPL(…);