Changeset d71b0de in mainline for kernel/generic/include/synch/syswaitq.h

Timestamp:

2026-03-27T10:06:12Z (32 hours ago)

Author:

GitHub <noreply@…>

Parents:

4f16db1 (diff), 455241b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2026-03-27 10:06:12)

git-committer:

GitHub <noreply@…> (2026-03-27 10:06:12)

Message:

Merge 455241b37bedd3719ed3b5b025fdf26f44fd565b into 4f16db12a6eb96c2068777d1b95978d94e4119b1

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);