vmi_time_init_clockevent  241 arch/x86/kernel/vmiclock_32.c 	vmi_time_init_clockevent();
vmi_time_init_clockevent  277 arch/x86/kernel/vmiclock_32.c 	vmi_time_init_clockevent();