Changes in kernel/genarch/src/drivers/via-cuda/cuda.c [24abb85d:b2fa1204] 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>
@@ -40 +39 @@
 #include <arch/asm.h>
 #include <mm/slab.h>
+#include <ddi/device.h>
 #include <synch/spinlock.h>
-#include <mem.h>
+#include <memstr.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;
@@ -122 +123 @@
         cuda_t *dev = instance->cuda;
 
-        assert(instance);
-        assert(kbrdin);
+        ASSERT(instance);
+        ASSERT(kbrdin);
 
         instance->kbrdin = kbrdin;
@@ -340 +341 @@
         cuda_t *dev = instance->cuda;
 
-        assert(instance->xstate == cx_listen);
+        ASSERT(instance->xstate == cx_listen);
 
         if (instance->snd_bytes == 0)