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