Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/drv/root/root.c

    r9f6c5ef0 r6f9e7fea  
    4646#include <ctype.h>
    4747#include <macros.h>
    48 #include <inttypes.h>
    4948
    5049#include <driver.h>
     
    8786
    8887        int res = child_device_register_wrapper(parent, VIRTUAL_DEVICE_NAME,
    89             VIRTUAL_DEVICE_MATCH_ID, VIRTUAL_DEVICE_MATCH_SCORE,
    90             NULL);
     88            VIRTUAL_DEVICE_MATCH_ID, VIRTUAL_DEVICE_MATCH_SCORE);
    9189
    9290        return res;
     
    105103       
    106104        int res = child_device_register_wrapper(parent, PLATFORM_DEVICE_NAME,
    107             PLATFORM_DEVICE_MATCH_ID, PLATFORM_DEVICE_MATCH_SCORE,
    108             NULL);
     105            PLATFORM_DEVICE_MATCH_ID, PLATFORM_DEVICE_MATCH_SCORE);
    109106
    110107        return res;
     
    118115static int root_add_device(device_t *dev)
    119116{
    120         printf(NAME ": root_add_device, device handle=%" PRIun "\n",
    121             dev->handle);
     117        printf(NAME ": root_add_device, device handle = %d\n", dev->handle);
    122118       
    123119        /*
Note: See TracChangeset for help on using the changeset viewer.