X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fvnet%2Fvnet_host.c;h=c5d366a50890a5855ffa9b9a5c2d66a8d71a0258;hb=a2b48dd0c4f8ccfa633139bc2b9aa4ddf59eda5c;hp=2121e7f46c7248b3746164a4f6bf295d8f367573;hpb=e39ac677ad4eb2c2db111ce08eb6172c61f5001f;p=palacios.git diff --git a/palacios/src/vnet/vnet_host.c b/palacios/src/vnet/vnet_host.c index 2121e7f..c5d366a 100644 --- a/palacios/src/vnet/vnet_host.c +++ b/palacios/src/vnet/vnet_host.c @@ -70,3 +70,8 @@ void init_vnet(struct vnet_host_hooks * hooks){ } +void deinit_vnet(){ + host_hooks = NULL; + v3_deinit_vnet(); +} +