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);