Symbol: xen_resume