X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;h=7070c6d9236f5ad18f7661b1c25d5a101ec3e984;hb=66b396a1e89ad214c18ff9ebae9f803ab661aa46;hp=d81fb80848007425cf679e866922dfc593255b00;hpb=176c87563accd1bddbd195fa830d1d0156030ffc;p=palacios.releases.git

diff --git a/linux_module/palacios-vnet.c b/linux_module/palacios-vnet.c
index d81fb80..7070c6d 100644
--- a/linux_module/palacios-vnet.c
+++ b/linux_module/palacios-vnet.c
@@ -14,8 +14,9 @@
 #include <linux/timer.h>
 
 #include <vnet/vnet.h>
-#include "palacios-mm.h"
+#include "mm.h"
 #include "palacios-vnet.h"
+#include "linux-exts.h"
 
 static void host_print(const char *	fmt, ...) {
 
@@ -289,13 +290,15 @@ static int vnet_init( void ) {
 }
 
 
-static void vnet_deinit( void ) {
+static int vnet_deinit( void ) {
     deinit_vnet();
 
     vnet_bridge_deinit();
     vnet_ctrl_deinit();
 
     printk("V3 VNET Deinited\n");
+
+    return 0;
 }
 
 static struct linux_ext vnet_ext = {