Changes in kernel/generic/include/synch/syswaitq.h [df721df:fc0de8c] in mainline

File:

• kernel/generic/include/synch/syswaitq.h (modified) (1 diff)

kernel/generic/include/synch/syswaitq.h

@@ -44 +44 @@
 extern void sys_waitq_init(void);
 
+extern void sys_waitq_task_cleanup(void);
+
 extern sys_errno_t sys_waitq_create(uspace_ptr_cap_waitq_handle_t);
 extern sys_errno_t sys_waitq_sleep(cap_waitq_handle_t, uint32_t, unsigned int);