X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_dev_mgr.h;h=f7f511b4d7dd48696a81e050de7e1b1c88499c97;hb=f762b666f3ea508a49b16429e185eb458aa83329;hp=ea45784d70924679d46d916d76b75547fc6ae469;hpb=4a13fd6e61111133266b79ec8ff1f84258f953f4;p=palacios.git

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index ea45784..f7f511b 100644
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -99,7 +99,7 @@ int v3_free_vm_devices(struct v3_vm_info * vm);
 
 
 int V3_init_devices();
-
+int V3_deinit_devices();
 
 
 struct v3_device_ops {