Changes in uspace/srv/devman/main.c [7e752b2:cb819f9] 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>
@@ -418 +417 @@
         node_t *dev = find_dev_node(&device_tree, handle);
         if (dev == NULL) {
-                printf(NAME ": devman_forward error - no device with handle %" PRIun
-                    " was found.\n", handle);
+                printf(NAME ": devman_forward error - no device with handle %x "
+                    "was found.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -435 +434 @@
         
         if (driver == NULL) {
-                printf(NAME ": devman_forward error - the device is not in %" PRIun
-                    " usable state.\n", handle);
+                printf(NAME ": devman_forward error - the device is not in "
+                    "usable state.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -450 +449 @@
                 printf(NAME ": devman_forward: cound not forward to driver %s ",
                     driver->name);
-                printf("the driver's phone is %" PRIun ").\n", driver->phone);
+                printf("the driver's phone is %x).\n", driver->phone);
                 ipc_answer_0(iid, EINVAL);
                 return;