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

diff --git a/linux_module/palacios-vm.c b/linux_module/palacios-vm.c
index b50714e..2d12374 100644
--- a/linux_module/palacios-vm.c
+++ b/linux_module/palacios-vm.c
@@ -113,9 +113,6 @@ static struct vm_ctrl * get_ctrl(struct v3_guest * guest, unsigned int cmd) {
 
 
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-#include "palacios-inspector.h"
-#endif
 
 #ifdef V3_CONFIG_GRAPHICS_CONSOLE
 #include "palacios-graphics-console.h"
@@ -255,9 +252,6 @@ int start_palacios_vm(void * arg)  {
     // init linux extensions
     
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-    inspect_vm(guest);
-#endif
 
     printk("Creating VM device: Major %d, Minor %d\n", MAJOR(guest->vm_dev), MINOR(guest->vm_dev));