Changeset 84afc7b in mainline for kernel/arch/ppc32/src/ppc32.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/ppc32/src/ppc32.c (modified) (2 diffs)

kernel/arch/ppc32/src/ppc32.c

@@ -43 +43 @@
 #include <proc/uarg.h>
 #include <console/console.h>
-#include <ddi/device.h>
 #include <ddi/irq.h>
 #include <arch/drivers/pic.h>
@@ -122 +121 @@
                         
                         /* Initialize I/O controller */
-                        cuda_init(device_assign_devno(),
-                            bootinfo.macio.addr + 0x16000, 2 * PAGE_SIZE);
+                        cuda_init(bootinfo.macio.addr + 0x16000, 2 * PAGE_SIZE);
                 }