build fixes and cleanup code to handle VMM shutdown

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

diff --git a/palacios/include/palacios/vmm_symmod.h b/palacios/include/palacios/vmm_symmod.h
index 4d28fff..22e2dc7 100644 (file)
--- a/palacios/include/palacios/vmm_symmod.h
+++ b/palacios/include/palacios/vmm_symmod.h
@@ -95,7 +95,7 @@ struct v3_sym_capsule * v3_get_sym_capsule(struct v3_vm_info * vm, char * name);
 
 
 int V3_init_symmod();
-
+int V3_deinit_symmod();