vmi_time.h 38 arch/x86/kernel/vmi_32.c #include <asm/vmi_time.h> vmi_time.h 30 arch/x86/kernel/vmiclock_32.c #include <asm/vmi_time.h>