1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/types.h>
6 #include <xen/features.h>
7 #include <xen/interface/features.h>
8 #include <xen/events.h>
12 void xen_hvm_post_suspend(int suspend_cancelled
)
14 if (!suspend_cancelled
) {
15 xen_hvm_init_shared_info();
18 if (xen_percpu_upcall
) {
21 for_each_online_cpu(cpu
)
22 BUG_ON(xen_set_upcall_vector(cpu
));
24 xen_setup_callback_vector();
26 xen_unplug_emulated_devices();