X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;h=d4f09b030f593df0e4286c387bb22bb792c01768;hb=471edd59ca70371e97cbad759e1710433f35990d;hp=014d1915d98272e9eb89a0c6d7e208c63f256bc8;hpb=7a10bbf26095ed08095f38de6c1db4b3a131d6f0;p=palacios.git

diff --git a/linux_module/palacios-vnet.c b/linux_module/palacios-vnet.c
index 014d191..d4f09b0 100644
--- a/linux_module/palacios-vnet.c
+++ b/linux_module/palacios-vnet.c
@@ -116,7 +116,7 @@ host_start_timer(void * vnet_timer){
 
 static void
 host_reset_timer(void * vnet_timer, unsigned long interval){
-    struct host_timer * timer = (struct host_timer *)timer;
+    struct host_timer * timer = (struct host_timer *)vnet_timer;
 
     timer->interval = interval;
 }