Changes in kernel/genarch/src/drivers/via-cuda/cuda.c [b2fa1204:24abb85d] in mainline

File:

• kernel/genarch/src/drivers/via-cuda/cuda.c (modified) (5 diffs)

kernel/genarch/src/drivers/via-cuda/cuda.c

@@ -34 +34 @@
  */
 
+#include <assert.h>
 #include <genarch/drivers/via-cuda/cuda.h>
 #include <console/chardev.h>
@@ -39 +40 @@
 #include <arch/asm.h>
 #include <mm/slab.h>
-#include <ddi/device.h>
 #include <synch/spinlock.h>
-#include <memstr.h>
+#include <mem.h>
 
 static irq_ownership_t cuda_claim(irq_t *irq);
@@ -105 +105 @@
 
                 irq_initialize(&instance->irq);
-                instance->irq.devno = device_assign_devno();
                 instance->irq.inr = inr;
                 instance->irq.claim = cuda_claim;
@@ -123 +122 @@
         cuda_t *dev = instance->cuda;
 
-        ASSERT(instance);
-        ASSERT(kbrdin);
+        assert(instance);
+        assert(kbrdin);
 
         instance->kbrdin = kbrdin;
@@ -341 +340 @@
         cuda_t *dev = instance->cuda;
 
-        ASSERT(instance->xstate == cx_listen);
+        assert(instance->xstate == cx_listen);
 
         if (instance->snd_bytes == 0)