VMM: moves various helpers to vmx.h
[akaros.git] / kern / arch / x86 / vmm / intel / ept.c
index 8a52297..08ff585 100644 (file)
@@ -41,7 +41,6 @@
 #include "vmx.h"
 #include "../vmm.h"
 
-#include "compat.h"
 #include "cpufeature.h"
 
 #define EPT_LEVELS     4       /* 0 through 3 */