// SPDX-License-Identifier: GPL-2.0 #include <linux/types.h> #include <asm/xen/hypercall.h> #include <asm/xen/page.h> #include <asm/fixmap.h> #include "xen-ops.h" void xen_pv_pre_suspend(void) { … } void xen_pv_post_suspend(int suspend_cancelled) { … }