vmi_time_bsp_init  931 arch/x86/kernel/vmi_32.c 		pv_apic_ops.setup_boot_clock = vmi_time_bsp_init;
vmi_time_bsp_init   56 include/asm-x86/vmi_time.h extern void __devinit vmi_time_bsp_init(void);