Changes in kernel/generic/src/console/console.c [63e27ef:6afc9d7] 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>
@@ -190 +189 @@
         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;