Changeset b7fd2a0 in mainline for uspace/lib/c/include/devman.h


Ignore:
Timestamp:
2018-01-13T03:10:29Z (7 years ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
a53ed3a
Parents:
36f0738
Message:

Use errno_t in all uspace and kernel code.

Change type of every variable, parameter and return value that holds an
<errno.h> constant to either errno_t (the usual case), or sys_errno_t
(some places in kernel). This is for the purpose of self-documentation,
as well as for type-checking with a bit of type definition hackery.

Although this is a massive commit, it is a simple text replacement, and thus
is very easy to verify. Simply do the following:

`
git checkout <this commit's hash>
git reset HEAD
git add .
tools/srepl '\berrno_t\b' int
git add .
tools/srepl '\bsys_errno_t\b' sysarg_t
git reset
git diff
`

While this doesn't ensure that the replacements are correct, it does ensure
that the commit doesn't do anything except those replacements. Since errno_t
is typedef'd to int in the usual case (and sys_errno_t to sysarg_t), even if
incorrect, this commit cannot change behavior.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • uspace/lib/c/include/devman.h

    r36f0738 rb7fd2a0  
    4646extern void devman_exchange_end(async_exch_t *);
    4747
    48 extern int devman_driver_register(const char *);
    49 extern int devman_add_function(const char *, fun_type_t, match_id_list_t *,
     48extern errno_t devman_driver_register(const char *);
     49extern errno_t devman_add_function(const char *, fun_type_t, match_id_list_t *,
    5050    devman_handle_t, devman_handle_t *);
    51 extern int devman_remove_function(devman_handle_t);
    52 extern int devman_drv_fun_online(devman_handle_t);
    53 extern int devman_drv_fun_offline(devman_handle_t);
     51extern errno_t devman_remove_function(devman_handle_t);
     52extern errno_t devman_drv_fun_online(devman_handle_t);
     53extern errno_t devman_drv_fun_offline(devman_handle_t);
    5454
    5555extern async_sess_t *devman_device_connect(devman_handle_t, unsigned int);
    … …  
    5757    unsigned int);
    5858
    59 extern int devman_fun_get_handle(const char *, devman_handle_t *,
     59extern errno_t devman_fun_get_handle(const char *, devman_handle_t *,
    6060    unsigned int);
    61 extern int devman_fun_get_child(devman_handle_t, devman_handle_t *);
    62 extern int devman_dev_get_parent(devman_handle_t, devman_handle_t *);
    63 extern int devman_dev_get_functions(devman_handle_t, devman_handle_t **,
     61extern errno_t devman_fun_get_child(devman_handle_t, devman_handle_t *);
     62extern errno_t devman_dev_get_parent(devman_handle_t, devman_handle_t *);
     63extern errno_t devman_dev_get_functions(devman_handle_t, devman_handle_t **,
    6464    size_t *);
    65 extern int devman_fun_get_match_id(devman_handle_t, size_t, char *, size_t,
     65extern errno_t devman_fun_get_match_id(devman_handle_t, size_t, char *, size_t,
    6666    unsigned int *);
    67 extern int devman_fun_get_name(devman_handle_t, char *, size_t);
    68 extern int devman_fun_get_driver_name(devman_handle_t, char *, size_t);
    69 extern int devman_fun_get_path(devman_handle_t, char *, size_t);
    70 extern int devman_fun_online(devman_handle_t);
    71 extern int devman_fun_offline(devman_handle_t);
     67extern errno_t devman_fun_get_name(devman_handle_t, char *, size_t);
     68extern errno_t devman_fun_get_driver_name(devman_handle_t, char *, size_t);
     69extern errno_t devman_fun_get_path(devman_handle_t, char *, size_t);
     70extern errno_t devman_fun_online(devman_handle_t);
     71extern errno_t devman_fun_offline(devman_handle_t);
    7272
    73 extern int devman_add_device_to_category(devman_handle_t, const char *);
    74 extern int devman_fun_sid_to_handle(service_id_t, devman_handle_t *);
    75 extern int devman_get_drivers(devman_handle_t **, size_t *);
    76 extern int devman_driver_get_devices(devman_handle_t, devman_handle_t **,
     73extern errno_t devman_add_device_to_category(devman_handle_t, const char *);
     74extern errno_t devman_fun_sid_to_handle(service_id_t, devman_handle_t *);
     75extern errno_t devman_get_drivers(devman_handle_t **, size_t *);
     76extern errno_t devman_driver_get_devices(devman_handle_t, devman_handle_t **,
    7777    size_t *);
    78 extern int devman_driver_get_handle(const char *, devman_handle_t *);
    79 extern int devman_driver_get_match_id(devman_handle_t, size_t, char *, size_t,
     78extern errno_t devman_driver_get_handle(const char *, devman_handle_t *);
     79extern errno_t devman_driver_get_match_id(devman_handle_t, size_t, char *, size_t,
    8080    unsigned int *);
    81 extern int devman_driver_get_name(devman_handle_t, char *, size_t);
    82 extern int devman_driver_get_state(devman_handle_t, driver_state_t *);
    83 extern int devman_driver_load(devman_handle_t);
    84 extern int devman_driver_unload(devman_handle_t);
     81extern errno_t devman_driver_get_name(devman_handle_t, char *, size_t);
     82extern errno_t devman_driver_get_state(devman_handle_t, driver_state_t *);
     83extern errno_t devman_driver_load(devman_handle_t);
     84extern errno_t devman_driver_unload(devman_handle_t);
    8585
    8686#endif
Note: See TracChangeset for help on using the changeset viewer.