linux/arch/x86/xen/suspend.c

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

#include <xen/xen.h>
#include <xen/interface/xen.h>
#include <xen/grant_table.h>
#include <xen/events.h>

#include <asm/cpufeatures.h>
#include <asm/msr-index.h>
#include <asm/xen/hypercall.h>
#include <asm/xen/page.h>
#include <asm/fixmap.h>

#include "xen-ops.h"

static DEFINE_PER_CPU(u64, spec_ctrl);

void xen_arch_pre_suspend(void)
{ … }

void xen_arch_post_suspend(int cancelled)
{ … }

static void xen_vcpu_notify_restore(void *data)
{ … }

static void xen_vcpu_notify_suspend(void *data)
{ … }

void xen_arch_resume(void)
{ … }

void xen_arch_suspend(void)
{ … }