Get rid of waitq_count_get/set
commit4c78104a6837166b8f7dd061ec8df30c45dd4c00
authorJiří Zárevúcky <zarevucky.jiri@gmail.com>
Thu, 9 Feb 2023 16:55:34 +0000 (9 17:55 +0100)
committerJiří Zárevúcky <zarevucky.jiri@gmail.com>
Thu, 9 Feb 2023 16:55:34 +0000 (9 17:55 +0100)
tree93ab5f2572df94eb261ac95e22bad9aeab92c592
parentc0b54c9d6fa6bb96ee21171d5b8f0c3b58ed0e60
Get rid of waitq_count_get/set
kernel/generic/include/synch/semaphore.h
kernel/generic/include/synch/waitq.h
kernel/generic/src/synch/mutex.c
kernel/generic/src/synch/semaphore.c
kernel/generic/src/synch/waitq.c