vmi.h   83 arch/x86/kernel/setup.c #include <asm/vmi.h>
vmi.h   63 arch/x86/kernel/smpboot.c #include <asm/vmi.h>
vmi.h   31 arch/x86/kernel/vmi_32.c #include <asm/vmi.h>
vmi.h   29 arch/x86/kernel/vmiclock_32.c #include <asm/vmi.h>