X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;h=7070c6d9236f5ad18f7661b1c25d5a101ec3e984;hb=3c56980fa7fe8d42610dbbcf067689cc005a5d6e;hp=b18ca90c6e4dda825ced9ea84c7d50ccda19f746;hpb=276cfa264720edddc1677e35c6a300596965de7d;p=palacios-OLD.git

diff --git a/linux_module/palacios-vnet.c b/linux_module/palacios-vnet.c
index b18ca90..7070c6d 100644
--- a/linux_module/palacios-vnet.c
+++ b/linux_module/palacios-vnet.c
@@ -16,6 +16,7 @@
 #include <vnet/vnet.h>
 #include "mm.h"
 #include "palacios-vnet.h"
+#include "linux-exts.h"
 
 static void host_print(const char *	fmt, ...) {