Changes in uspace/srv/devman/main.c [cb819f9:7e752b2] in mainline

File:

• uspace/srv/devman/main.c (modified) (4 diffs)

uspace/srv/devman/main.c

@@ -36 +36 @@
  */
 
+#include <inttypes.h>
 #include <assert.h>
 #include <ipc/services.h>
@@ -417 +418 @@
         node_t *dev = find_dev_node(&device_tree, handle);
         if (dev == NULL) {
-                printf(NAME ": devman_forward error - no device with handle %x "
-                    "was found.\n", handle);
+                printf(NAME ": devman_forward error - no device with handle %" PRIun
+                    " was found.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -434 +435 @@
         
         if (driver == NULL) {
-                printf(NAME ": devman_forward error - the device is not in "
-                    "usable state.\n", handle);
+                printf(NAME ": devman_forward error - the device is not in %" PRIun
+                    " usable state.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -449 +450 @@
                 printf(NAME ": devman_forward: cound not forward to driver %s ",
                     driver->name);
-                printf("the driver's phone is %x).\n", driver->phone);
+                printf("the driver's phone is %" PRIun ").\n", driver->phone);
                 ipc_answer_0(iid, EINVAL);
                 return;