Index: abi/include/abi/cap.h
===================================================================
--- abi/include/abi/cap.h	(revision bed67f2ae97127b56bd5c4ed93eb9badf151bb8e)
+++ abi/include/abi/cap.h	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
@@ -52,4 +52,7 @@
 } *cap_irq_handle_t;
 
+typedef struct {
+} *cap_waitq_handle_t;
+
 #endif
 
Index: abi/include/abi/syscall.h
===================================================================
--- abi/include/abi/syscall.h	(revision bed67f2ae97127b56bd5c4ed93eb9badf151bb8e)
+++ abi/include/abi/syscall.h	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
@@ -51,4 +51,7 @@
 	SYS_PROGRAM_SPAWN_LOADER,
 
+	SYS_WAITQ_CREATE,
+	SYS_WAITQ_SLEEP,
+	SYS_WAITQ_WAKEUP,
 	SYS_FUTEX_SLEEP,
 	SYS_FUTEX_WAKEUP,