X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-dev.c;h=3899a2c8423c9833d5fcf861cd1fb5bc6c823495;hb=84ff69d67d79aa9641135b2d120fe800c91797b4;hp=1f73de13e912e8e1567d2ec29a1a5e44a5a6b057;hpb=fcb418e3ef916356ef80c1f1436adfa1e6878d4f;p=palacios-OLD.git

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index 1f73de1..3899a2c 100644
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -28,9 +28,6 @@
 
 #include "linux-exts.h"
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-#include "palacios-inspector.h"
-#endif
 
 #ifdef V3_CONFIG_KEYED_STREAMS
 #include "palacios-keyed-stream.h"
@@ -268,9 +265,6 @@ static int __init v3_init(void) {
     palacios_init_graphics_console();
 #endif
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-    palacios_init_inspector();
-#endif
 
 #ifdef V3_CONFIG_SOCKET
     palacios_socket_init();
@@ -331,9 +325,6 @@ static void __exit v3_exit(void) {
     deinit_lnx_extensions();
 
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-    palacios_deinit_inspector();
-#endif