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)