Index: kernel/generic/include/proc/tasklet.h
===================================================================
--- kernel/generic/include/proc/tasklet.h	(revision 56976a175ab4fe04986c6a7c58357d9a5c598013)
+++ kernel/generic/include/proc/tasklet.h	(revision 5a55ae64e2b5a9a9e0e8693afc07cafb38e8ec5e)
@@ -59,5 +59,5 @@
 	
 	/** Argument passed to the callback */
-	void* arg;
+	void *arg;
 	
 	/** State of the tasklet */