Changes in kernel/genarch/src/drivers/s3c24xx/uart.c [7ddc2c7:24abb85d] in mainline

File:

• kernel/genarch/src/drivers/s3c24xx/uart.c (modified) (3 diffs)

kernel/genarch/src/drivers/s3c24xx/uart.c

@@ -38 +38 @@
  */
 
+#include <assert.h>
 #include <genarch/drivers/s3c24xx/uart.h>
 #include <console/chardev.h>
 #include <console/console.h>
-#include <ddi/device.h>
 #include <arch/asm.h>
 #include <mm/slab.h>
@@ -122 +122 @@
         /* Initialize IRQ structure. */
         irq_initialize(&uart->irq);
-        uart->irq.devno = device_assign_devno();
         uart->irq.inr = inr;
         uart->irq.claim = s3c24xx_uart_claim;
@@ -161 +160 @@
 void s3c24xx_uart_input_wire(s3c24xx_uart_t *uart, indev_t *indev)
 {
-        ASSERT(uart);
-        ASSERT(indev);
+        assert(uart);
+        assert(indev);
 
         uart->indev = indev;