Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
9963236d VK |
2 | #include <linux/types.h> |
3 | ||
4 | #include <xen/xen.h> | |
5 | #include <xen/features.h> | |
6 | #include <xen/interface/features.h> | |
7 | ||
8 | #include "xen-ops.h" | |
9 | ||
10 | void xen_hvm_post_suspend(int suspend_cancelled) | |
11 | { | |
0b64ffb8 | 12 | if (!suspend_cancelled) { |
9963236d | 13 | xen_hvm_init_shared_info(); |
0b64ffb8 AA |
14 | xen_vcpu_restore(); |
15 | } | |
9963236d VK |
16 | xen_callback_vector(); |
17 | xen_unplug_emulated_devices(); | |
9963236d | 18 | } |