Changes in kernel/generic/include/console/chardev.h [28a5ebd:7c5320c] in mainline

File:

• kernel/generic/include/console/chardev.h (modified) (2 diffs)

kernel/generic/include/console/chardev.h

@@ -39 +39 @@
 #include <stdbool.h>
 #include <stddef.h>
-#include <synch/waitq.h>
+#include <synch/semaphore.h>
 #include <synch/spinlock.h>
 
@@ -64 +64 @@
 typedef struct indev {
         const char *name;
-        waitq_t wq;
+        semaphore_t wq;
 
         /** Protects everything below. */