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>