xen_timer_resume   89 drivers/xen/manage.c 		xen_timer_resume();
xen_timer_resume   25 include/xen/xen-ops.h void xen_timer_resume(void);