Index: kernel/generic/src/synch/syswaitq.c
===================================================================
--- kernel/generic/src/synch/syswaitq.c	(revision 6874bd2d7be66b81ed8162da6eee3869c1ef4457)
+++ kernel/generic/src/synch/syswaitq.c	(revision b29c0838338ba2f2b6f39332e79ce5150dae7bf6)
@@ -45,5 +45,4 @@
 
 #include <stdint.h>
-#include <stdlib.h>
 
 static slab_cache_t *waitq_cache;
@@ -96,5 +95,5 @@
 	waitq_initialize(wq);
 
-	kobject_t *kobj = (kobject_t *) malloc(sizeof(kobject_t));
+	kobject_t *kobj = kobject_alloc(0);
 	if (!kobj) {
 		slab_free(waitq_cache, wq);
@@ -107,5 +106,5 @@
 	if (rc != EOK) {
 		slab_free(waitq_cache, wq);
-		free(kobj);
+		kobject_free(kobj);
 		return (sys_errno_t) rc;
 	}
@@ -114,5 +113,5 @@
 	if (rc != EOK) {
 		cap_free(TASK, handle);
-		free(kobj);
+		kobject_free(kobj);
 		slab_free(waitq_cache, wq);
 		return (sys_errno_t) rc;