Index: abi/include/abi/syscall.h
===================================================================
--- abi/include/abi/syscall.h	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
+++ abi/include/abi/syscall.h	(revision a43dfcb92a1ff640c73a30840c60fcb3d0406c68)
@@ -54,4 +54,5 @@
 	SYS_WAITQ_SLEEP,
 	SYS_WAITQ_WAKEUP,
+	SYS_WAITQ_DESTROY,
 	SYS_SMC_COHERENCE,
 
