Changeset 84afc7b in mainline for kernel/genarch/src/drivers/i8042/i8042.c

Timestamp:

2009-03-18T10:53:12Z (15 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/genarch/src/drivers/i8042/i8042.c (modified) (3 diffs)

kernel/genarch/src/drivers/i8042/i8042.c

@@ -42 +42 @@
 #include <console/chardev.h>
 #include <mm/slab.h>
+#include <ddi/device.h>
 
 static indev_operations_t kbrdin_ops = {
@@ -77 +78 @@
 
 /** Initialize i8042. */
-indev_t *i8042_init(i8042_t *dev, devno_t devno, inr_t inr)
+indev_t *i8042_init(i8042_t *dev, inr_t inr)
 {
         i8042_instance_t *instance
@@ -86 +87 @@
         indev_initialize("i8042", &instance->kbrdin, &kbrdin_ops);
         
-        instance->devno = devno;
         instance->i8042 = dev;
         
         irq_initialize(&instance->irq);
-        instance->irq.devno = devno;
+        instance->irq.devno = device_assign_devno();
         instance->irq.inr = inr;
         instance->irq.claim = i8042_claim;