Changes in kernel/generic/src/console/console.c [6afc9d7:63e27ef] in mainline

File:

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

kernel/generic/src/console/console.c

@@ -34 +34 @@
  */
 
+#include <assert.h>
 #include <console/console.h>
 #include <console/chardev.h>
@@ -189 +190 @@
         void *faddr = (void *) KA2PA(kio);
         
-        ASSERT((uintptr_t) faddr % FRAME_SIZE == 0);
+        assert((uintptr_t) faddr % FRAME_SIZE == 0);
         
         kio_parea.pbase = (uintptr_t) faddr;