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

kernel/generic/src/ddi/device.c

@@ -32 +32 @@
 /**
  * @file
- * @brief       Device numbers.
+ * @brief Device numbers.
  */
 
@@ -48 +48 @@
 devno_t device_assign_devno(void)
 {
-        devno_t devno;  
+        devno_t devno = (devno_t) atomic_postinc(&last);
+        ASSERT(devno >= 0);
+        
+        return devno;
+}
 
-        devno = (devno_t) atomic_postinc(&last);
-        ASSERT(devno >= 0);
-
-        return devno;
+unative_t sys_device_assign_devno(void)
+{
+        return (unative_t) device_assign_devno();
 }