Index: arch/amd64/src/proc/task.c
===================================================================
--- arch/amd64/src/proc/task.c	(revision 407862eaba1d17531867b62b28be806c2792f52b)
+++ arch/amd64/src/proc/task.c	(revision 0dbc4e7a921e1e08e6a60698a953242fa5a643b3)
@@ -28,4 +28,5 @@
 
 #include <proc/task.h>
+#include <mm/slab.h>
 #include <arch/types.h>
 
@@ -39,2 +40,12 @@
 	bitmap_initialize(&t->arch.iomap, NULL, 0);
 }
+
+/** Perform amd64 specific task destruction.
+ *
+ * @param t Task to be initialized.
+ */
+void task_destroy_arch(task_t *t)
+{
+	if (t->arch.iomap.map)
+		free(t->arch.iomap.map);
+}