X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-vnet.c;h=25537aa7f8734ef164777296b5b72e626dc34abe;hb=4b9f54d875c87a0b06337fb64239278d6cfc02fa;hp=297852d6863cb2d370a52255b40dc704ba61be61;hpb=139d7b7b65f1a5d7c335fca4abb6d61d12b8aaff;p=palacios.releases.git

diff --git a/linux_module/palacios-vnet.c b/linux_module/palacios-vnet.c
index 297852d..25537aa 100644
--- a/linux_module/palacios-vnet.c
+++ b/linux_module/palacios-vnet.c
@@ -86,7 +86,12 @@ static void *
 host_create_timer(unsigned long interval, 
 		  void (* timer_fun)(void * priv_data), 
 		  void * data){
-    struct host_timer * timer = (struct host_timer *)kmalloc(sizeof(struct host_timer), GFP_KERNEL);
+    struct host_timer * timer = (struct host_timer *)palacios_alloc(sizeof(struct host_timer));
+
+    if (!timer) { 
+	ERROR("Unable to allocate timer in VNET\n");
+	return NULL;
+    }
 
     timer->interval = interval;
     timer->timer_fun = timer_fun;
@@ -130,7 +135,7 @@ host_del_timer(void * vnet_timer){
 
     del_timer(&(timer->timer));
 
-    kfree(timer);
+    palacios_free(timer);
 }