vmi_time_ap_init  932 arch/x86/kernel/vmi_32.c 		pv_apic_ops.setup_secondary_clock = vmi_time_ap_init;
vmi_time_ap_init   57 include/asm-x86/vmi_time.h extern void __devinit vmi_time_ap_init(void);