added initial global shutdown functionality

[palacios.git] / palacios / include / palacios / vmm_dev_mgr.h

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index ea45784..f7f511b 100644 (file)
--- 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 {