X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vm.c;h=0e1f51eac6aab9541e7fa96b478751861f9f5c47;hb=b4bf1f847791efa011e6cd121face4c930759923;hp=b02564947ec031f39339561f94bd3327a6f4775c;hpb=c79291850ac3605c924a2c5e9617028038bb8f63;p=palacios.git diff --git a/linux_module/palacios-vm.c b/linux_module/palacios-vm.c index b025649..0e1f51e 100644 --- a/linux_module/palacios-vm.c +++ b/linux_module/palacios-vm.c @@ -17,6 +17,9 @@ #include #include +#ifdef CONFIG_DEBUG_FS +#include "palacios-debugfs.h" +#endif #include @@ -25,6 +28,7 @@ #include "palacios-serial.h" #include "palacios-vm.h" + extern struct class * v3_class; #define STREAM_NAME_LEN 128 @@ -102,7 +106,6 @@ extern u32 pg_frees; extern u32 mallocs; extern u32 frees; - int start_palacios_vm(void * arg) { struct v3_guest * guest = (struct v3_guest *)arg; int err; @@ -145,6 +148,13 @@ int start_palacios_vm(void * arg) { printk("palacios: launching vm\n"); + + +#if CONFIG_DEBUG_FS + dfs_register_vm(guest); +#endif + + if (v3_start_vm(guest->v3_ctx, 0xffffffff) < 0) { printk("palacios: launch of vm failed\n"); return -1;