Changeset 84afc7b in mainline for kernel/arch/ia32

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:

kernel/arch/ia32/src

Files:

• drivers/i8254.c (modified) (1 diff)
• ia32.c (modified) (3 diffs)
• smp/apic.c (modified) (1 diff)

kernel/arch/ia32/src/drivers/i8254.c

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */
 /**
  * @file
- * @brief       i8254 chip driver.
+ * @brief i8254 chip driver.
  *
  * Low level time functions.

kernel/arch/ia32/src/ia32.c

@@ -66 +66 @@
 #include <syscall/syscall.h>
 #include <console/console.h>
-#include <ddi/device.h>
 #include <sysinfo/sysinfo.h>
 #include <arch/boot/boot.h>
@@ -153 +152 @@
 {
 #ifdef CONFIG_PC_KBD
-        devno_t devno = device_assign_devno();
-        
         /*
          * Initialize the i8042 controller. Then initialize the keyboard
          * module and connect it to i8042. Enable keyboard interrupts.
          */
-        indev_t *kbrdin = i8042_init((i8042_t *) I8042_BASE, devno, IRQ_KBD);
+        indev_t *kbrdin = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
         if (kbrdin) {
                 kbrd_init(kbrdin);
@@ -170 +167 @@
          */
         sysinfo_set_item_val("kbd", NULL, true);
-        sysinfo_set_item_val("kbd.devno", NULL, devno);
         sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
         sysinfo_set_item_val("kbd.address.physical", NULL,

kernel/arch/ia32/src/smp/apic.c

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */