Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/lib/drv/generic/driver.c

    r45059d6b rd0dd7b5  
    428428static void driver_connection(ipc_callid_t iid, ipc_call_t *icall, void *arg)
    429429{
    430         sysarg_t conn_type;
    431 
    432         if (iid == 0) {
    433                 /* Callback connection from devman */
    434                 /* XXX Use separate handler for this type of connection */
    435                 conn_type = DRIVER_DEVMAN;
    436         } else {
    437                 conn_type = IPC_GET_ARG1(*icall);
    438         }
    439 
    440430        /* Select interface */
    441         switch (conn_type) {
     431        switch ((sysarg_t) (IPC_GET_ARG1(*icall))) {
    442432        case DRIVER_DEVMAN:
    443433                /* Handle request from device manager */
Note: See TracChangeset for help on using the changeset viewer.