Changeset 84afc7b in mainline for uspace/srv/kbd

Timestamp:

2009-03-18T10:53:12Z (17 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

Location:

uspace/srv/kbd/port

Files:

• gxemul.c (modified) (2 diffs)
• i8042.c (modified) (2 diffs)
• msim.c (modified) (2 diffs)
• ns16550.c (modified) (1 diff)
• z8530.c (modified) (1 diff)

uspace/srv/kbd/port/gxemul.c

@@ -40 +40 @@
 #include <kbd_port.h>
 #include <kbd.h>
+#include <ddi.h>
 
 static irq_cmd_t gxemul_cmds[] = {
@@ -64 +65 @@
         async_set_interrupt_received(gxemul_irq_handler);
         gxemul_cmds[0].addr = (void *) sysinfo_value("kbd.address.virtual");
-        ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"),
+        ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(),
             0, &gxemul_kbd);
         return 0;

uspace/srv/kbd/port/i8042.c

@@ -44 +44 @@
 #include <kbd_port.h>
 #include <kbd.h>
+#include <ddi.h>
 #include "i8042.h"
 
@@ -137 +138 @@
         i8042_kbd.cmds[0].addr = &((i8042_t *) i8042_kernel)->status;
         i8042_kbd.cmds[3].addr = &((i8042_t *) i8042_kernel)->data;
-        ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"), 0, &i8042_kbd);
+        ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd);
 
         int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE;

uspace/srv/kbd/port/msim.c

@@ -40 +40 @@
 #include <kbd_port.h>
 #include <kbd.h>
+#include <ddi.h>
 
 irq_cmd_t msim_cmds[] = {
@@ -64 +65 @@
         async_set_interrupt_received(msim_irq_handler);
         msim_cmds[0].addr = sysinfo_value("kbd.address.virtual");
-        ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"),
+        ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(),
             0, &msim_kbd);
         return 0;

uspace/srv/kbd/port/ns16550.c

@@ -100 +100 @@
         ns16550_kbd.cmds[0].addr = (void *) (ns16550_kernel + LSR_REG);
         ns16550_kbd.cmds[3].addr = (void *) (ns16550_kernel + RBR_REG);
-        ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"),
+        ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(),
             0, &ns16550_kbd);
         return pio_enable((void *) ns16550_physical, 8, &vaddr);

uspace/srv/kbd/port/z8530.c

@@ -90 +90 @@
         z8530_cmds[3].addr = (void *) sysinfo_value("kbd.address.kernel") +
             CHAN_A_DATA;
-        ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"),
+        ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(),
             sysinfo_value("kbd.inr"), &z8530_kbd);
         return 0;