Changes in uspace/drv/root/root.c [5291411:7e752b2] in mainline

File:

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

uspace/drv/root/root.c

@@ -45 +45 @@
 #include <ctype.h>
 #include <macros.h>
+#include <inttypes.h>
 
 #include <driver.h>
@@ -126 +127 @@
 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);
         
         /* Register root device's children. */