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
9#include "xen-ops.h"
10
11void xen_hvm_post_suspend(int suspend_cancelled)
12{
13	if (!suspend_cancelled) {
14		xen_hvm_init_shared_info();
15		xen_vcpu_restore();
16	}
17	xen_setup_callback_vector();
18	xen_unplug_emulated_devices();
19}
20