linux/arch/x86/xen/mmu_hvm.c

// SPDX-License-Identifier: GPL-2.0
#include <linux/types.h>
#include <linux/crash_dump.h>

#include <xen/interface/xen.h>
#include <xen/hvm.h>

#include "xen-ops.h"

#ifdef CONFIG_PROC_VMCORE
/*
 * The kdump kernel has to check whether a pfn of the crashed kernel
 * was a ballooned page. vmcore is using this function to decide
 * whether to access a pfn of the crashed kernel.
 * Returns "false" if the pfn is not backed by a RAM page, the caller may
 * handle the pfn special in this case.
 */
static bool xen_vmcore_pfn_is_ram(struct vmcore_cb *cb, unsigned long pfn)
{ … }
static struct vmcore_cb xen_vmcore_cb = …;
#endif

static void xen_hvm_exit_mmap(struct mm_struct *mm)
{ … }

static int is_pagetable_dying_supported(void)
{ … }

void __init xen_hvm_init_mmu_ops(void)
{ … }