Changeset 93fb170c in mainline for uspace/drv/root/root.c

Timestamp:

2011-01-08T18:51:31Z (14 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

15be932

Parents:

8f748215 (diff), a523af4 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge from main branch

File:

• uspace/drv/root/root.c (modified) (3 diffs)

uspace/drv/root/root.c

@@ -47 +47 @@
 #include <macros.h>
 #include <inttypes.h>
+#include <sysinfo.h>
 
 #include <driver.h>
@@ -55 +56 @@
 
 #define PLATFORM_DEVICE_NAME "hw"
-#define PLATFORM_DEVICE_MATCH_ID STRING(UARCH)
+#define PLATFORM_DEVICE_MATCH_ID_FMT "platform/%s"
 #define PLATFORM_DEVICE_MATCH_SCORE 100
 
@@ -100 +101 @@
 static int add_platform_child(device_t *parent)
 {
+        char *match_id;
+        char *platform;
+        size_t platform_size;
+        int res;
+
+        /* Get platform name from sysinfo. */
+
+        platform = sysinfo_get_data("platform", &platform_size);
+        if (platform == NULL) {
+                printf(NAME ": Failed to obtain platform name.\n");
+                return ENOENT;
+        }
+
+        /* Null-terminate string. */
+        platform = realloc(platform, platform_size + 1);
+        if (platform == NULL) {
+                printf(NAME ": Memory allocation failed.\n");
+                return ENOMEM;
+        }
+
+        platform[platform_size] = '\0';
+
+        /* Construct match ID. */
+
+        if (asprintf(&match_id, PLATFORM_DEVICE_MATCH_ID_FMT, platform) == -1) {
+                printf(NAME ": Memory allocation failed.\n");
+                return ENOMEM;
+        }
+
+        /* Add child. */
+
         printf(NAME ": adding new child for platform device.\n");
         printf(NAME ":   device node is `%s' (%d %s)\n", PLATFORM_DEVICE_NAME,
-            PLATFORM_DEVICE_MATCH_SCORE, PLATFORM_DEVICE_MATCH_ID);
-        
-        int res = child_device_register_wrapper(parent, PLATFORM_DEVICE_NAME,
-            PLATFORM_DEVICE_MATCH_ID, PLATFORM_DEVICE_MATCH_SCORE,
-            NULL);
+            PLATFORM_DEVICE_MATCH_SCORE, match_id);
+
+        res = child_device_register_wrapper(parent, PLATFORM_DEVICE_NAME,
+            match_id, PLATFORM_DEVICE_MATCH_SCORE, NULL);
 
         return res;