xen_time_init     524 arch/x86/xen/time.c 	x86_init.timers.timer_init = xen_time_init;
xen_time_init     565 arch/x86/xen/time.c 	x86_init.timers.setup_percpu_clockev = xen_time_init;