Changeset 84afc7b in mainline for kernel/generic/src/console/kconsole.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/generic/src/console/kconsole.c (modified) (1 diff)

kernel/generic/src/console/kconsole.c

@@ -135 +135 @@
 void kconsole_notify_init(void)
 {
-        devno_t devno = device_assign_devno();
-        
         sysinfo_set_item_val("kconsole.present", NULL, true);
-        sysinfo_set_item_val("kconsole.devno", NULL, devno);
         sysinfo_set_item_val("kconsole.inr", NULL, KCONSOLE_VIRT_INR);
         
         irq_initialize(&kconsole_irq);
-        kconsole_irq.devno = devno;
+        kconsole_irq.devno = device_assign_devno();
         kconsole_irq.inr = KCONSOLE_VIRT_INR;
         kconsole_irq.claim = kconsole_claim;