Symbol: xen_arch_resume