Changeset 08f747e in mainline for uspace/srv/hw/char/i8042/i8042.c


Ignore:
Timestamp:
2010-11-26T21:49:30Z (14 years ago)
Author:
Vojtech Horky <vojtechhorky@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
8e423a2d, dac43be
Parents:
e4dbfda (diff), da55d5b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge development/ changes

File:
1 edited

Legend:

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

    re4dbfda r08f747e  
    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));
Note: See TracChangeset for help on using the changeset viewer.