// SPDX-License-Identifier: GPL-2.0 #include <linux/types.h> #include <xen/xen.h> #include <xen/hvm.h> #include <xen/features.h> #include <xen/interface/features.h> #include <xen/events.h> #include "xen-ops.h" void xen_hvm_post_suspend(int suspend_cancelled) { … }