xen_arch_post_suspend
xen_arch_post_suspend(si->cancelled);
void xen_arch_post_suspend(int suspend_cancelled);