// SPDX-License-Identifier: GPL-2.0 #include <linux/types.h> #include <xen/xen.h> #include <xen/features.h> #include <xen/interface/features.h> #include "xen-ops.h" void xen_hvm_post_suspend(int suspend_cancelled) { if (!suspend_cancelled) { xen_hvm_init_shared_info(); xen_vcpu_restore(); } xen_callback_vector(); xen_unplug_emulated_devices(); }