2022-04-02 18:08:56 +05:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
|
|
|
|
#include <linux/types.h>
|
|
|
|
|
|
|
|
|
|
#include <xen/xen.h>
|
|
|
|
|
#include <xen/hvm.h>
|
|
|
|
|
#include <xen/features.h>
|
|
|
|
|
#include <xen/interface/features.h>
|
2022-09-13 23:14:27 +05:00
|
|
|
#include <xen/events.h>
|
2022-04-02 18:08:56 +05:00
|
|
|
|
|
|
|
|
#include "xen-ops.h"
|
|
|
|
|
|
|
|
|
|
void xen_hvm_post_suspend(int suspend_cancelled)
|
|
|
|
|
{
|
|
|
|
|
if (!suspend_cancelled) {
|
|
|
|
|
xen_hvm_init_shared_info();
|
|
|
|
|
xen_vcpu_restore();
|
|
|
|
|
}
|
2022-09-13 23:14:27 +05:00
|
|
|
if (xen_percpu_upcall) {
|
|
|
|
|
unsigned int cpu;
|
|
|
|
|
|
|
|
|
|
for_each_online_cpu(cpu)
|
|
|
|
|
BUG_ON(xen_set_upcall_vector(cpu));
|
|
|
|
|
} else {
|
|
|
|
|
xen_setup_callback_vector();
|
|
|
|
|
}
|
2022-04-02 18:08:56 +05:00
|
|
|
xen_unplug_emulated_devices();
|
|
|
|
|
}
|
