debugging tweaks and minor fixes

[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 9cc1ff0..8c80ffa 100644 (file)
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -188,6 +188,7 @@ int v3_dev_add_net_frontend(struct guest_info * info,
                                            v3_cfg_tree_t * cfg, 
                                            void * private_data), 
                            void * priv_data);
+
 int v3_dev_connect_net(struct guest_info * info, 
                       char * frontend_name, 
                       struct v3_dev_net_ops * ops,