X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;h=bdc88a11d5e7fd965f0b78fb68771fb73c32a784;hb=c17cafcb6db943bd5bbb31d86f0392c113b2d668;hp=25537aa7f8734ef164777296b5b72e626dc34abe;hpb=07aa8f3c18a33af0961e7546980a63ab5f6fba4f;p=palacios.releases.git

diff --git a/linux_module/palacios-vnet.c b/linux_module/palacios-vnet.c
index 25537aa..bdc88a1 100644
--- a/linux_module/palacios-vnet.c
+++ b/linux_module/palacios-vnet.c
@@ -140,8 +140,6 @@ host_del_timer(void * vnet_timer){
 
 
 
-
-
 static struct vnet_host_hooks vnet_host_hooks = {
     .timer_create	        = host_create_timer,
     .timer_del		        = host_del_timer,
@@ -161,8 +159,10 @@ static struct vnet_host_hooks vnet_host_hooks = {
     .mutex_free	                = palacios_mutex_free,
     .mutex_lock	                = palacios_mutex_lock, 
     .mutex_unlock	        = palacios_mutex_unlock,
+    .mutex_lock_irqsave         = palacios_mutex_lock_irqsave, 
+    .mutex_unlock_irqrestore    = palacios_mutex_unlock_irqrestore,
 
-    .print			= palacios_print,
+    .print			= palacios_print_scoped,
     .allocate_pages	        = palacios_allocate_pages,
     .free_pages	                = palacios_free_pages,
     .malloc		        = palacios_alloc,