Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision c2417bcc6cc9caba6dca867e322c9cc5723b35f4)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 253d3d0b04f3cdd9b3b0618555c429868401a3d7)
@@ -184,9 +184,10 @@
 	ski_init();
 	
-	ski_instance_t *instance
-	    = malloc(sizeof(ski_instance_t), FRAME_ATOMIC);
+	ski_instance_t *instance =
+	    malloc(sizeof(ski_instance_t), FRAME_ATOMIC);
 	
 	if (instance) {
-		instance->thread = thread_create(kskipoll, (void *) instance, TASK, 0, "kskipoll", true);
+		instance->thread = thread_create(kskipoll, instance, TASK, 0,
+		    "kskipoll", true);
 		
 		if (!instance->thread) {