Changes in uspace/drv/root/root.c [6f9e7fea:9f6c5ef0] in mainline

File:

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

uspace/drv/root/root.c

@@ -46 +46 @@
 #include <ctype.h>
 #include <macros.h>
+#include <inttypes.h>
 
 #include <driver.h>
@@ -86 +87 @@
 
         int res = child_device_register_wrapper(parent, VIRTUAL_DEVICE_NAME,
-            VIRTUAL_DEVICE_MATCH_ID, VIRTUAL_DEVICE_MATCH_SCORE);
+            VIRTUAL_DEVICE_MATCH_ID, VIRTUAL_DEVICE_MATCH_SCORE,
+            NULL);
 
         return res;
@@ -103 +105 @@
         
         int res = child_device_register_wrapper(parent, PLATFORM_DEVICE_NAME,
-            PLATFORM_DEVICE_MATCH_ID, PLATFORM_DEVICE_MATCH_SCORE);
+            PLATFORM_DEVICE_MATCH_ID, PLATFORM_DEVICE_MATCH_SCORE,
+            NULL);
 
         return res;
@@ -115 +118 @@
 static int root_add_device(device_t *dev)
 {
-        printf(NAME ": root_add_device, device handle = %d\n", dev->handle);
+        printf(NAME ": root_add_device, device handle=%" PRIun "\n",
+            dev->handle);
         
         /*