Symbol: xen_time_init
arch/x86/xen/time.c
579
x86_init.timers.timer_init = xen_time_init;
arch/x86/xen/time.c
638
x86_init.timers.setup_percpu_clockev = xen_time_init;