X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;fp=linux_module%2Fpalacios-vnet.c;h=7070c6d9236f5ad18f7661b1c25d5a101ec3e984;hb=ee7af4a9a90b5f65c0edc2bc904aea992c4678e0;hp=b18ca90c6e4dda825ced9ea84c7d50ccda19f746;hpb=362b9a25a2ffdc5efccac300ab56d8b845c6e66d;p=palacios.releases.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, ...) {