VMM: moves various helpers to vmx.h
[akaros.git] / kern / arch / x86 / vmm / vmm.c
index 032a496..ca0fba5 100644 (file)
@@ -15,7 +15,6 @@
 #include <kmalloc.h>
 
 #include "intel/vmx.h"
-#include "intel/compat.h"
 #include "vmm.h"
 
 /* TODO: have better cpuid info storage and checks */