Symbol: xen_timer_resume
drivers/xen/manage.c
84
xen_timer_resume();
include/xen/xen-ops.h
27
void xen_timer_resume(void);