X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vm.c;h=0e1f51eac6aab9541e7fa96b478751861f9f5c47;hb=b4bf1f847791efa011e6cd121face4c930759923;hp=943bbff17c2ea77e020fe355e99975e2b0d7f3a5;hpb=374b2d6d22a0e0dc6ed8d3d628e635ab935072e0;p=palacios.git

diff --git a/linux_module/palacios-vm.c b/linux_module/palacios-vm.c
index 943bbff..0e1f51e 100644
--- a/linux_module/palacios-vm.c
+++ b/linux_module/palacios-vm.c
@@ -18,7 +18,7 @@
 #include <linux/spinlock.h>
 
 #ifdef CONFIG_DEBUG_FS
-#include <linux/debugfs.h>
+#include "palacios-debugfs.h"
 #endif
 
 #include <palacios/vmm.h>
@@ -106,8 +106,6 @@ extern u32 pg_frees;
 extern u32 mallocs;
 extern u32 frees;
 
-#include <palacios/vmm_inspector.h>
-
 int start_palacios_vm(void * arg)  {
     struct v3_guest * guest = (struct v3_guest *)arg;
     int err;
@@ -152,32 +150,8 @@ int start_palacios_vm(void * arg)  {
 
 
 
-#if 0
-    // Inspection Test
-    {
-	struct v3_inspection_value rax;
-	v3_inspect_node_t * core = NULL;
-	v3_inspect_node_t * gprs = NULL;
-	v3_inspect_node_t * root = v3_get_inspection_root(guest->v3_ctx);
-	
-	if (!root) {
-	    printk("NULL root inspection tree\n");
-	}
-
-	core = v3_get_inspection_subtree(root, "core.0");
-	if (!core) {
-	    printk("NULL core inspection tree\n");
-	}
-
-	gprs = v3_get_inspection_subtree(core, "GPRS");
-	if (!gprs) {
-	    printk("NULL gprs inspection tree\n");
-	}
-	
-	v3_get_inspection_value(gprs, "RAX", &rax);
-
-	debugfs_create_u64("RAX", 0644, NULL, (u64 *)rax.value);
-    }
+#if CONFIG_DEBUG_FS
+    dfs_register_vm(guest);
 #endif