Changes in kernel/generic/src/console/chardev.c [7ddc2c7:63e27ef] in mainline

File:

• kernel/generic/src/console/chardev.c (modified) (3 diffs)

kernel/generic/src/console/chardev.c

@@ -33 +33 @@
  */
 
+#include <assert.h>
 #include <adt/list.h>
 #include <console/chardev.h>
@@ -39 +40 @@
 #include <print.h>
 #include <func.h>
-#include <arch.h>
+#include <cpu.h>
 
 /** Initialize input character device.
@@ -66 +67 @@
 void indev_push_character(indev_t *indev, wchar_t ch)
 {
-        ASSERT(indev);
+        assert(indev);
         
         irq_spinlock_lock(&indev->lock, true);