Index: uspace/lib/c/generic/io/kio.c
===================================================================
--- uspace/lib/c/generic/io/kio.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
+++ uspace/lib/c/generic/io/kio.c	(revision a43dfcb92a1ff640c73a30840c60fcb3d0406c68)
@@ -60,4 +60,9 @@
 	if (futex_initialize(&kio_buffer.futex, 1) != EOK)
 		abort();
+}
+
+void __kio_fini(void)
+{
+	futex_destroy(&kio_buffer.futex);
 }