X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fvnet%2Fvnet_host.h;h=5fe3cff7967a874c3a5ec6f728690f76e87048db;hb=b1128b2a9d269fefc786c60c26878b372d5e39c1;hp=3519cf49349ef17b300e958ac2d1422029345baf;hpb=e39ac677ad4eb2c2db111ce08eb6172c61f5001f;p=palacios.git

diff --git a/palacios/include/vnet/vnet_host.h b/palacios/include/vnet/vnet_host.h
index 3519cf4..5fe3cff 100644
--- a/palacios/include/vnet/vnet_host.h
+++ b/palacios/include/vnet/vnet_host.h
@@ -265,6 +265,7 @@ static inline void vnet_unlock_irqrestore(vnet_lock_t lock, addr_t irq_state) {
 
 
 void init_vnet(struct vnet_host_hooks * hooks);
+void deinit_vnet(void);
 
 
 #endif