1// SPDX-License-Identifier: GPL-2.0 2#include <linux/types.h> 3 4#include <xen/xen.h> 5#include <xen/hvm.h> 6#include <xen/features.h> 7#include <xen/interface/features.h> 8#include <xen/events.h> 9 10#include "xen-ops.h" 11 12void xen_hvm_post_suspend(int suspend_cancelled) 13{ 14 if (!suspend_cancelled) { 15 xen_hvm_init_shared_info(); 16 xen_vcpu_restore(); 17 } 18 if (xen_percpu_upcall) { 19 unsigned int cpu; 20 21 for_each_online_cpu(cpu) 22 BUG_ON(xen_set_upcall_vector(cpu)); 23 } else { 24 xen_setup_callback_vector(); 25 } 26 xen_unplug_emulated_devices(); 27} 28