X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet-ctrl.c;h=86ec1296ad75a24f269ab8779518faec5fb4a4a5;hb=0246f0904a4800dbe1e8e23332d49b468a58f751;hp=5c939416501b46ca1f0780f28920e6e9bf5b0660;hpb=d1931b46120e40eb7389983043add48586858d1d;p=palacios.git

diff --git a/linux_module/palacios-vnet-ctrl.c b/linux_module/palacios-vnet-ctrl.c
index 5c93941..86ec129 100644
--- a/linux_module/palacios-vnet-ctrl.c
+++ b/linux_module/palacios-vnet-ctrl.c
@@ -975,7 +975,7 @@ static void destroy_proc_files(void) {
     remove_proc_entry("links", vnet_root);
     remove_proc_entry("routes", vnet_root);
     remove_proc_entry("stats", vnet_root);
-    remove_proc_entry("vnet", NULL);	
+    remove_proc_entry("vnet", palacios_get_procdir());	
 }