vmi_time_init     927 arch/x86/kernel/vmi_32.c 		pv_time_ops.time_init = vmi_time_init;
vmi_time_init      49 include/asm-x86/vmi_time.h extern void __init vmi_time_init(void);