Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision d23712e1aebdc4f095d0e9fa82b099933122c067)
+++ kernel/generic/include/proc/task.h	(revision 806d761fabfa1adf9ffb45256e6afcd7160a1ce0)
@@ -88,5 +88,5 @@
 
 	/** Number of references (i.e. threads). */
-	atomic_size_t refcount;
+	atomic_refcount_t refcount;
 	/** Number of threads that haven't exited yet. */
 	// TODO: remove
@@ -144,5 +144,4 @@
 extern void task_done(void);
 extern task_t *task_create(as_t *, const char *);
-extern void task_destroy(task_t *);
 extern void task_hold(task_t *);
 extern void task_release(task_t *);