From: Lei Xia <lxia@northwestern.edu>
Date: Thu, 16 Jun 2011 14:20:52 +0000 (-0500)
Subject: add missed header file
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=9e24e6f10bafeaeb057be5cacfa3eb4810157439;p=palacios.releases.git

add missed header file
---

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