X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fvnet%2Fvnet_host.c;h=b537e2af7bed3350402de6d7437783fc6752e403;hb=571978c461dde2c69a559b909c11d5b1a25ef8a3;hp=c5d366a50890a5855ffa9b9a5c2d66a8d71a0258;hpb=4d17b20a86eb8102a287263372458fcb9019c232;p=palacios.git

diff --git a/palacios/src/vnet/vnet_host.c b/palacios/src/vnet/vnet_host.c
index c5d366a..b537e2a 100644
--- a/palacios/src/vnet/vnet_host.c
+++ b/palacios/src/vnet/vnet_host.c
@@ -22,19 +22,6 @@
 
 struct vnet_host_hooks * host_hooks;
 
-int vnet_lock_init(vnet_lock_t * lock) {
-    if((host_hooks) && host_hooks->mutex_alloc){
-	*lock = (addr_t)(host_hooks->mutex_alloc());
-	
-    	if (*lock) {
-	    return 0;
-    	}
-    }
-
-    return -1;
-}
-
-
 struct vnet_thread * vnet_start_thread(int (*func)(void *), void *arg, char * name){
     if((host_hooks) && host_hooks->thread_start){
     	struct vnet_thread * thread = Vnet_Malloc(sizeof(struct vnet_thread));
@@ -50,7 +37,6 @@ struct vnet_thread * vnet_start_thread(int (*func)(void *), void *arg, char * na
 }
 
 
-
 struct vnet_timer * vnet_create_timer(unsigned long interval, 
 				      void (* timer_fun)(void * priv_data), 
 				      void * priv_data){
@@ -71,7 +57,7 @@ void init_vnet(struct vnet_host_hooks * hooks){
 
 
 void deinit_vnet(){
-    host_hooks = NULL;
     v3_deinit_vnet();
+    //    host_hooks = NULL;
 }