1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/types.h>
3 #include <linux/tick.h>
6 #include <xen/interface/xen.h>
7 #include <xen/grant_table.h>
8 #include <xen/events.h>
10 #include <asm/xen/hypercall.h>
11 #include <asm/xen/page.h>
12 #include <asm/fixmap.h>
18 void xen_arch_pre_suspend(void)
20 xen_save_time_memory_area();
26 void xen_arch_post_suspend(int cancelled
)
29 xen_pv_post_suspend(cancelled
);
31 xen_hvm_post_suspend(cancelled
);
33 xen_restore_time_memory_area();
36 static void xen_vcpu_notify_restore(void *data
)
38 /* Boot processor notified via generic timekeeping_resume() */
39 if (smp_processor_id() == 0)
45 static void xen_vcpu_notify_suspend(void *data
)
50 void xen_arch_resume(void)
54 on_each_cpu(xen_vcpu_notify_restore
, NULL
, 1);
56 for_each_online_cpu(cpu
)
60 void xen_arch_suspend(void)
64 for_each_online_cpu(cpu
)
67 on_each_cpu(xen_vcpu_notify_suspend
, NULL
, 1);