Changes in kernel/arch/amd64/src/ddi/ddi.c [6eeb4a3:63e27ef] in mainline

File:

• kernel/arch/amd64/src/ddi/ddi.c (modified) (3 diffs)

kernel/arch/amd64/src/ddi/ddi.c

@@ -35 +35 @@
 #include <ddi/ddi.h>
 #include <arch/ddi/ddi.h>
+#include <assert.h>
 #include <proc/task.h>
-#include <typedefs.h>
 #include <adt/bitmap.h>
 #include <mm/slab.h>
@@ -45 +45 @@
 #include <arch.h>
 #include <align.h>
+#include <stdbool.h>
 
 /** Install I/O Permission bitmap.
@@ -63 +64 @@
         
         if (elements > 0) {
-                ASSERT(TASK->arch.iomap.bits);
+                assert(TASK->arch.iomap.bits);
                 
                 bitmap_t iomap;