Symbol: xen_hvm_resume