Merge remote-tracking branch 'origin/master' into shoal
[barrelfish] / kernel / arch / x86_64 / syscall.c
index a00ef46..34ceedb 100644 (file)
@@ -36,7 +36,7 @@
 #include <trace/trace.h>
 #ifndef __k1om__
 #include <vmkit.h>
-#include <amd_vmcb_dev.h>
+#include <dev/amd_vmcb_dev.h>
 #endif
 
 #define MIN(a,b)        ((a) < (b) ? (a) : (b))