1 // SPDX-License-Identifier: GPL-2.0 1
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
12 void xen_hvm_post_suspend(int suspend_cancelle
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_
23 } else {
24 xen_setup_callback_vector();
25 }
26 xen_unplug_emulated_devices();
27 }
28
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.