xen_timer_resume  423 arch/arm/xen/enlighten.c void xen_timer_resume(void) { }
xen_timer_resume  360 arch/x86/xen/time.c void xen_timer_resume(void)