Changes in uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c [228e490:991f645] in mainline

File:

• uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c (modified) (6 diffs)

uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c

@@ -48 +48 @@
 #include <sysinfo.h>
 #include <errno.h>
-#include <inttypes.h>
 
 #include "s3c24xx_uart.h"
@@ -96 +95 @@
         if (rc != EOK) {
                 devmap_hangup_phone(DEVMAP_DRIVER);
-                printf(NAME ": Unable to register device %s.\n",
-                    NAMESPACE "/" NAME);
+                printf(NAME ": Unable to register device %s.\n");
                 return -1;
         }
@@ -116 +114 @@
         ipc_callid_t callid;
         ipc_call_t call;
-        sysarg_t method;
+        ipcarg_t method;
         int retval;
 
@@ -124 +122 @@
         while (1) {
                 callid = async_get_call(&call);
-                method = IPC_GET_IMETHOD(call);
+                method = IPC_GET_METHOD(call);
                 switch (method) {
                 case IPC_M_PHONE_HUNGUP:
@@ -136 +134 @@
                         break;
                 case CHAR_WRITE_BYTE:
-                        printf(NAME ": write %" PRIun " to device\n",
+                        printf(NAME ": write %d to device\n",
                             IPC_GET_ARG1(call));
                         s3c24xx_uart_sendb(uart, (uint8_t) IPC_GET_ARG1(call));
@@ -187 +185 @@
         uart->client_phone = -1;
 
-        printf(NAME ": device at physical address %p, inr %" PRIun ".\n",
-            (void *) uart->paddr, inr);
+        printf(NAME ": device at physical address 0x%x, inr %d.\n",
+            uart->paddr, inr);
 
         async_set_interrupt_received(s3c24xx_uart_irq_handler);