Changes in kernel/generic/src/console/chardev.c [63e27ef:7ddc2c7] 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>
@@ -40 +39 @@
 #include <print.h>
 #include <func.h>
-#include <cpu.h>
+#include <arch.h>
 
 /** Initialize input character device.
@@ -67 +66 @@
 void indev_push_character(indev_t *indev, wchar_t ch)
 {
-        assert(indev);
+        ASSERT(indev);
         
         irq_spinlock_lock(&indev->lock, true);