xen_arch_resume   151 drivers/xen/manage.c 	xen_arch_resume();
xen_arch_resume    26 include/xen/xen-ops.h void xen_arch_resume(void);