xen_hvm_post_suspend
xen_hvm_post_suspend(cancelled);
void xen_hvm_post_suspend(int suspend_cancelled);