Changeset 7e752b2 in mainline for uspace/srv/hw/char


Ignore:
Timestamp:
2010-11-26T01:33:20Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
bf61d3a
Parents:
202f57b
Message:
  • correct printf() formatting strings and corresponding arguments
  • minor cstyle changes and other small fixes
Location:
uspace/srv/hw/char
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • uspace/srv/hw/char/i8042/i8042.c

    r202f57b r7e752b2  
    4646#include <stdio.h>
    4747#include <errno.h>
     48#include <inttypes.h>
    4849
    4950#include "i8042.h"
     
    201202        ipc_register_irq(inr_a, device_assign_devno(), 0, &i8042_kbd);
    202203        ipc_register_irq(inr_b, device_assign_devno(), 0, &i8042_kbd);
    203         printf("%s: registered for interrupts %d and %d\n", NAME, inr_a, inr_b);
     204        printf("%s: registered for interrupts %" PRIun " and %" PRIun "\n",
     205            NAME, inr_a, inr_b);
    204206
    205207        wait_ready();
     
    262264                        break;
    263265                case IPC_FIRST_USER_METHOD:
    264                         printf(NAME ": write %d to devid %d\n",
     266                        printf(NAME ": write %" PRIun " to devid %d\n",
    265267                            IPC_GET_ARG1(call), dev_id);
    266268                        i8042_port_write(dev_id, IPC_GET_ARG1(call));
  • uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c

    r202f57b r7e752b2  
    4848#include <sysinfo.h>
    4949#include <errno.h>
     50#include <inttypes.h>
    5051
    5152#include "s3c24xx_uart.h"
     
    9596        if (rc != EOK) {
    9697                devmap_hangup_phone(DEVMAP_DRIVER);
    97                 printf(NAME ": Unable to register device %s.\n");
     98                printf(NAME ": Unable to register device %s.\n",
     99                    NAMESPACE "/" NAME);
    98100                return -1;
    99101        }
     
    134136                        break;
    135137                case CHAR_WRITE_BYTE:
    136                         printf(NAME ": write %d to device\n",
     138                        printf(NAME ": write %" PRIun " to device\n",
    137139                            IPC_GET_ARG1(call));
    138140                        s3c24xx_uart_sendb(uart, (uint8_t) IPC_GET_ARG1(call));
     
    185187        uart->client_phone = -1;
    186188
    187         printf(NAME ": device at physical address 0x%x, inr %d.\n",
    188             uart->paddr, inr);
     189        printf(NAME ": device at physical address %p, inr %" PRIun ".\n",
     190            (void *) uart->paddr, inr);
    189191
    190192        async_set_interrupt_received(s3c24xx_uart_irq_handler);
Note: See TracChangeset for help on using the changeset viewer.