xen_time_init    1193 arch/x86/xen/enlighten.c 	.time_init = xen_time_init,
xen_time_init      41 arch/x86/xen/xen-ops.h void __init xen_time_init(void);