vmi_init          882 arch/x86/kernel/setup.c 	vmi_init();
vmi_init          751 arch/x86/kernel/vmi_32.c 	if (call_vrom_func(vmi_rom, vmi_init) != 0) {
vmi_init          192 include/asm-x86/vmi.h 	char    vmi_init[8];    /* VMI_Init jump point */
vmi_init          226 include/asm-x86/vmi.h extern void vmi_init(void);