Changeset 84afc7b in mainline for kernel/arch/ia64/src/ia64.c

Timestamp:

2009-03-18T10:53:12Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e749794

Parents:

8015eeec

Message:

as kernel little brother drivers are not needed anymore, the device numbers do not have to be correlated between kernel and uspace in any way
introduce new syscall sys_device_assign_devno() for generating system-wide unique device numbers for uspace

File:

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

kernel/arch/ia64/src/ia64.c

@@ -51 +51 @@
 #include <syscall/syscall.h>
 #include <ddi/irq.h>
-#include <ddi/device.h>
 #include <arch/bootinfo.h>
 #include <genarch/drivers/legacy/ia32/io.h>
@@ -163 +162 @@
         
 #ifdef CONFIG_NS16550
-        devno_t devno_ns16550 = device_assign_devno();
         indev_t *kbrdin_ns16550
-            = ns16550_init((ns16550_t *) NS16550_BASE, devno_ns16550, NS16550_IRQ, NULL, NULL);
+            = ns16550_init((ns16550_t *) NS16550_BASE, NS16550_IRQ, NULL, NULL);
         if (kbrdin_ns16550)
                 srln_init(kbrdin_ns16550);
         
         sysinfo_set_item_val("kbd", NULL, true);
-        sysinfo_set_item_val("kbd.devno", NULL, devno_ns16550);
         sysinfo_set_item_val("kbd.inr", NULL, NS16550_IRQ);
         sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550);
@@ -180 +177 @@
         
 #ifdef CONFIG_I8042
-        devno_t devno_i8042 = device_assign_devno();
-        indev_t *kbrdin_i8042 = i8042_init((i8042_t *) I8042_BASE, devno_i8042, IRQ_KBD);
+        indev_t *kbrdin_i8042 = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
         if (kbrdin_i8042)
                 kbrd_init(kbrdin_i8042);
         
         sysinfo_set_item_val("kbd", NULL, true);
-        sysinfo_set_item_val("kbd.devno", NULL, devno_i8042);
         sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
         sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY);