Changeset b7fd2a0 in mainline for kernel/generic/include


Ignore:
Timestamp:
2018-01-13T03:10:29Z (8 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.

Location:
kernel/generic/include
Files:
33 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/cap/cap.h

    r36f0738 rb7fd2a0  
    115115
    116116extern void caps_init(void);
    117 extern int caps_task_alloc(struct task *);
     117extern errno_t caps_task_alloc(struct task *);
    118118extern void caps_task_free(struct task *);
    119119extern void caps_task_init(struct task *);
     
    121121    bool (*)(cap_t *, void *), void *);
    122122
    123 extern int cap_alloc(struct task *, cap_handle_t *);
     123extern errno_t cap_alloc(struct task *, cap_handle_t *);
    124124extern void cap_publish(struct task *, cap_handle_t, kobject_t *);
    125125extern kobject_t *cap_unpublish(struct task *, cap_handle_t, kobject_type_t);
  • kernel/generic/include/console/console.h

    r36f0738 rb7fd2a0  
    7171extern wchar_t getc(indev_t *indev);
    7272extern size_t gets(indev_t *indev, char *buf, size_t buflen);
    73 extern sysarg_t sys_kio(int cmd, const void *buf, size_t size);
     73extern sys_errno_t sys_kio(int cmd, const void *buf, size_t size);
    7474
    7575extern void grab_console(void);
  • kernel/generic/include/ddi/ddi.h

    r36f0738 rb7fd2a0  
    5555extern void ddi_parea_register(parea_t *);
    5656
    57 extern sysarg_t sys_physmem_map(uintptr_t, size_t, unsigned int, void *,
     57extern sys_errno_t sys_physmem_map(uintptr_t, size_t, unsigned int, void *,
    5858    uintptr_t);
    59 extern sysarg_t sys_physmem_unmap(uintptr_t);
     59extern sys_errno_t sys_physmem_unmap(uintptr_t);
    6060
    61 extern sysarg_t sys_dmamem_map(size_t, unsigned int, unsigned int, void *,
     61extern sys_errno_t sys_dmamem_map(size_t, unsigned int, unsigned int, void *,
    6262    void *, uintptr_t);
    63 extern sysarg_t sys_dmamem_unmap(uintptr_t, size_t, unsigned int);
     63extern sys_errno_t sys_dmamem_unmap(uintptr_t, size_t, unsigned int);
    6464
    65 extern sysarg_t sys_iospace_enable(ddi_ioarg_t *);
    66 extern sysarg_t sys_iospace_disable(ddi_ioarg_t *);
     65extern sys_errno_t sys_iospace_enable(ddi_ioarg_t *);
     66extern sys_errno_t sys_iospace_disable(ddi_ioarg_t *);
    6767
    6868/*
    6969 * Interface to be implemented by all architectures.
    7070 */
    71 extern int ddi_iospace_enable_arch(task_t *, uintptr_t, size_t);
    72 extern int ddi_iospace_disable_arch(task_t *, uintptr_t, size_t);
     71extern errno_t ddi_iospace_enable_arch(task_t *, uintptr_t, size_t);
     72extern errno_t ddi_iospace_disable_arch(task_t *, uintptr_t, size_t);
    7373
    7474#endif
  • kernel/generic/include/ipc/event.h

    r36f0738 rb7fd2a0  
    9595        event_task_notify((t), (e), (m), (a1), (a2), (a3), (a4), (a5))
    9696
    97 extern int event_notify(event_type_t, bool, sysarg_t, sysarg_t, sysarg_t,
     97extern errno_t event_notify(event_type_t, bool, sysarg_t, sysarg_t, sysarg_t,
    9898    sysarg_t, sysarg_t);
    99 extern int event_task_notify(struct task *, event_task_type_t, bool, sysarg_t, sysarg_t,
     99extern errno_t event_task_notify(struct task *, event_task_type_t, bool, sysarg_t, sysarg_t,
    100100    sysarg_t, sysarg_t, sysarg_t);
    101101
    102 extern sysarg_t sys_ipc_event_subscribe(sysarg_t, sysarg_t);
    103 extern sysarg_t sys_ipc_event_unsubscribe(sysarg_t);
    104 extern sysarg_t sys_ipc_event_unmask(sysarg_t);
     102extern sys_errno_t sys_ipc_event_subscribe(sysarg_t, sysarg_t);
     103extern sys_errno_t sys_ipc_event_unsubscribe(sysarg_t);
     104extern sys_errno_t sys_ipc_event_unmask(sysarg_t);
    105105
    106106#endif
  • kernel/generic/include/ipc/ipc.h

    r36f0738 rb7fd2a0  
    186186extern void ipc_call_release(call_t *);
    187187
    188 extern int ipc_call_sync(phone_t *, call_t *);
    189 extern int ipc_call(phone_t *, call_t *);
     188extern errno_t ipc_call_sync(phone_t *, call_t *);
     189extern errno_t ipc_call(phone_t *, call_t *);
    190190extern call_t *ipc_wait_for_call(answerbox_t *, uint32_t, unsigned int);
    191 extern int ipc_forward(call_t *, phone_t *, answerbox_t *, unsigned int);
     191extern errno_t ipc_forward(call_t *, phone_t *, answerbox_t *, unsigned int);
    192192extern void ipc_answer(answerbox_t *, call_t *);
    193193extern void _ipc_answer_free_call(call_t *, bool);
     
    195195extern void ipc_phone_init(phone_t *, struct task *);
    196196extern bool ipc_phone_connect(phone_t *, answerbox_t *);
    197 extern int ipc_phone_hangup(phone_t *);
     197extern errno_t ipc_phone_hangup(phone_t *);
    198198
    199199extern void ipc_answerbox_init(answerbox_t *, struct task *);
    200200
    201201extern void ipc_cleanup(void);
    202 extern void ipc_backsend_err(phone_t *, call_t *, int);
     202extern void ipc_backsend_err(phone_t *, call_t *, errno_t);
    203203extern void ipc_answerbox_slam_phones(answerbox_t *, bool);
    204204extern void ipc_cleanup_call_list(answerbox_t *, list_t *);
  • kernel/generic/include/ipc/ipcrsc.h

    r36f0738 rb7fd2a0  
    4040#include <cap/cap.h>
    4141
    42 extern int phone_alloc(task_t *, cap_handle_t *);
     42extern errno_t phone_alloc(task_t *, cap_handle_t *);
    4343extern bool phone_connect(cap_handle_t, answerbox_t *);
    4444extern void phone_dealloc(cap_handle_t);
  • kernel/generic/include/ipc/irq.h

    r36f0738 rb7fd2a0  
    5151extern void ipc_irq_top_half_handler(irq_t *);
    5252
    53 extern int ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, irq_code_t *,
     53extern errno_t ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, irq_code_t *,
    5454    cap_handle_t *);
    55 extern int ipc_irq_unsubscribe(answerbox_t *, int);
     55extern errno_t ipc_irq_unsubscribe(answerbox_t *, int);
    5656
    5757/*
  • kernel/generic/include/ipc/kbox.h

    r36f0738 rb7fd2a0  
    5050} kbox_t;
    5151
    52 extern int ipc_connect_kbox(task_id_t, cap_handle_t *);
     52extern errno_t ipc_connect_kbox(task_id_t, cap_handle_t *);
    5353extern void ipc_kbox_cleanup(void);
    5454
  • kernel/generic/include/ipc/sysipc.h

    r36f0738 rb7fd2a0  
    4040#include <typedefs.h>
    4141
    42 extern int ipc_req_internal(int, ipc_data_t *, sysarg_t);
     42extern errno_t ipc_req_internal(int, ipc_data_t *, sysarg_t);
    4343
    44 extern sysarg_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,
     44extern sys_errno_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,
    4545    sysarg_t, sysarg_t, sysarg_t);
    46 extern sysarg_t sys_ipc_call_async_slow(sysarg_t, ipc_data_t *, sysarg_t);
    47 extern sysarg_t sys_ipc_answer_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
     46extern sys_errno_t sys_ipc_call_async_slow(sysarg_t, ipc_data_t *, sysarg_t);
     47extern sys_errno_t sys_ipc_answer_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
    4848    sysarg_t, sysarg_t);
    49 extern sysarg_t sys_ipc_answer_slow(sysarg_t, ipc_data_t *);
    50 extern sysarg_t sys_ipc_wait_for_call(ipc_data_t *, uint32_t, unsigned int);
    51 extern sysarg_t sys_ipc_poke(void);
    52 extern sysarg_t sys_ipc_forward_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
     49extern sys_errno_t sys_ipc_answer_slow(sysarg_t, ipc_data_t *);
     50extern sys_errno_t sys_ipc_wait_for_call(ipc_data_t *, uint32_t, unsigned int);
     51extern sys_errno_t sys_ipc_poke(void);
     52extern sys_errno_t sys_ipc_forward_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
    5353    sysarg_t, unsigned int);
    54 extern sysarg_t sys_ipc_forward_slow(sysarg_t, sysarg_t, ipc_data_t *,
     54extern sys_errno_t sys_ipc_forward_slow(sysarg_t, sysarg_t, ipc_data_t *,
    5555    unsigned int);
    56 extern sysarg_t sys_ipc_hangup(sysarg_t);
     56extern sys_errno_t sys_ipc_hangup(sysarg_t);
    5757
    58 extern sysarg_t sys_ipc_irq_subscribe(inr_t, sysarg_t, irq_code_t *, cap_handle_t *);
    59 extern sysarg_t sys_ipc_irq_unsubscribe(sysarg_t);
     58extern sys_errno_t sys_ipc_irq_subscribe(inr_t, sysarg_t, irq_code_t *, cap_handle_t *);
     59extern sys_errno_t sys_ipc_irq_unsubscribe(sysarg_t);
    6060
    61 extern sysarg_t sys_ipc_connect_kbox(task_id_t *, cap_handle_t *);
     61extern sys_errno_t sys_ipc_connect_kbox(task_id_t *, cap_handle_t *);
    6262
    6363#endif
  • kernel/generic/include/ipc/sysipc_ops.h

    r36f0738 rb7fd2a0  
    9090         * Invoked on:          all calls
    9191         */
    92         int (* request_preprocess)(call_t *, phone_t *);
     92        errno_t (* request_preprocess)(call_t *, phone_t *);
    9393
    9494        /**
     
    102102         * Invoked on:          all forgotten calls
    103103         */     
    104         int (* request_forget)(call_t *);
     104        errno_t (* request_forget)(call_t *);
    105105
    106106        /**
     
    123123         * Invoked on:          all forgotten calls
    124124         */
    125         int (* answer_cleanup)(call_t *, ipc_data_t *);
     125        errno_t (* answer_cleanup)(call_t *, ipc_data_t *);
    126126
    127127        /**
     
    134134         * Invoked on:          all answered calls
    135135         */
    136         int (* answer_preprocess)(call_t *, ipc_data_t *);
     136        errno_t (* answer_preprocess)(call_t *, ipc_data_t *);
    137137
    138138        /**
     
    144144         * Invoked on:          all answered calls
    145145         */
    146         int (* answer_process)(call_t *);
     146        errno_t (* answer_process)(call_t *);
    147147} sysipc_ops_t;
    148148
    149149extern sysipc_ops_t *sysipc_ops_get(sysarg_t);
    150150
    151 extern int null_request_preprocess(call_t *, phone_t *);
    152 extern int null_request_forget(call_t *);
     151extern errno_t null_request_preprocess(call_t *, phone_t *);
     152extern errno_t null_request_forget(call_t *);
    153153extern int null_request_process(call_t *, answerbox_t *);
    154 extern int null_answer_cleanup(call_t *, ipc_data_t *);
    155 extern int null_answer_preprocess(call_t *, ipc_data_t *);
    156 extern int null_answer_process(call_t *);
     154extern errno_t null_answer_cleanup(call_t *, ipc_data_t *);
     155extern errno_t null_answer_preprocess(call_t *, ipc_data_t *);
     156extern errno_t null_answer_process(call_t *);
    157157
    158158#endif
  • kernel/generic/include/ipc/sysipc_priv.h

    r36f0738 rb7fd2a0  
    3838#include <ipc/ipc.h>
    3939
    40 extern int answer_preprocess(call_t *, ipc_data_t *);
     40extern errno_t answer_preprocess(call_t *, ipc_data_t *);
    4141
    4242#endif
  • kernel/generic/include/log.h

    r36f0738 rb7fd2a0  
    5252    PRINTF_ATTRIBUTE(3, 4);
    5353
    54 extern sysarg_t sys_klog(sysarg_t, void *buf, size_t size,
     54extern sys_errno_t sys_klog(sysarg_t, void *buf, size_t size,
    5555    sysarg_t level, size_t *uspace_nread);
    5656
  • kernel/generic/include/mm/as.h

    r36f0738 rb7fd2a0  
    268268extern as_area_t *as_area_create(as_t *, unsigned int, size_t, unsigned int,
    269269    mem_backend_t *, mem_backend_data_t *, uintptr_t *, uintptr_t);
    270 extern int as_area_destroy(as_t *, uintptr_t);
    271 extern int as_area_resize(as_t *, uintptr_t, size_t, unsigned int);
    272 extern int as_area_share(as_t *, uintptr_t, size_t, as_t *, unsigned int,
     270extern errno_t as_area_destroy(as_t *, uintptr_t);
     271extern errno_t as_area_resize(as_t *, uintptr_t, size_t, unsigned int);
     272extern errno_t as_area_share(as_t *, uintptr_t, size_t, as_t *, unsigned int,
    273273    uintptr_t *, uintptr_t);
    274 extern int as_area_change_flags(as_t *, unsigned int, uintptr_t);
     274extern errno_t as_area_change_flags(as_t *, unsigned int, uintptr_t);
    275275
    276276extern unsigned int as_area_get_flags(as_area_t *);
     
    283283
    284284#ifndef as_constructor_arch
    285 extern int as_constructor_arch(as_t *, unsigned int);
     285extern errno_t as_constructor_arch(as_t *, unsigned int);
    286286#endif /* !def as_constructor_arch */
    287287
     
    291291
    292292#ifndef as_create_arch
    293 extern int as_create_arch(as_t *, unsigned int);
     293extern errno_t as_create_arch(as_t *, unsigned int);
    294294#endif /* !def as_create_arch */
    295295
     
    311311extern sysarg_t sys_as_area_create(uintptr_t, size_t, unsigned int, uintptr_t,
    312312    as_area_pager_info_t *);
    313 extern sysarg_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
    314 extern sysarg_t sys_as_area_change_flags(uintptr_t, unsigned int);
    315 extern sysarg_t sys_as_area_destroy(uintptr_t);
     313extern sys_errno_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
     314extern sys_errno_t sys_as_area_change_flags(uintptr_t, unsigned int);
     315extern sys_errno_t sys_as_area_destroy(uintptr_t);
    316316
    317317/* Introspection functions. */
  • kernel/generic/include/mm/page.h

    r36f0738 rb7fd2a0  
    6767extern void page_table_destroy(pte_t *);
    6868
    69 extern int page_find_mapping(uintptr_t, uintptr_t *);
    70 extern sysarg_t sys_page_find_mapping(uintptr_t, uintptr_t *);
     69extern errno_t page_find_mapping(uintptr_t, uintptr_t *);
     70extern sys_errno_t sys_page_find_mapping(uintptr_t, uintptr_t *);
    7171
    7272#endif
  • kernel/generic/include/mm/slab.h

    r36f0738 rb7fd2a0  
    9494        size_t size;
    9595       
    96         int (*constructor)(void *obj, unsigned int kmflag);
     96        errno_t (*constructor)(void *obj, unsigned int kmflag);
    9797        size_t (*destructor)(void *obj);
    9898       
     
    124124
    125125extern slab_cache_t *slab_cache_create(const char *, size_t, size_t,
    126     int (*)(void *, unsigned int), size_t (*)(void *), unsigned int);
     126    errno_t (*)(void *, unsigned int), size_t (*)(void *), unsigned int);
    127127extern void slab_cache_destroy(slab_cache_t *);
    128128
  • kernel/generic/include/proc/program.h

    r36f0738 rb7fd2a0  
    5555extern void *program_loader;
    5656
    57 extern int program_create(as_t *, uintptr_t, char *, program_t *);
    58 extern int program_create_from_image(void *, char *, program_t *);
    59 extern int program_create_loader(program_t *, char *);
     57extern errno_t program_create(as_t *, uintptr_t, char *, program_t *);
     58extern errno_t program_create_from_image(void *, char *, program_t *);
     59extern errno_t program_create_loader(program_t *, char *);
    6060extern void program_ready(program_t *);
    6161
    62 extern sysarg_t sys_program_spawn_loader(char *, size_t);
     62extern sys_errno_t sys_program_spawn_loader(char *, size_t);
    6363
    6464#endif
  • kernel/generic/include/proc/task.h

    r36f0738 rb7fd2a0  
    157157extern void task_release(task_t *);
    158158extern task_t *task_find_by_id(task_id_t);
    159 extern int task_kill(task_id_t);
     159extern errno_t task_kill(task_id_t);
    160160extern void task_kill_self(bool) __attribute__((noreturn));
    161161extern void task_get_accounting(task_t *, uint64_t *, uint64_t *);
     
    174174
    175175#ifdef __32_BITS__
    176 extern sysarg_t sys_task_get_id(sysarg64_t *);
     176extern sys_errno_t sys_task_get_id(sysarg64_t *);
    177177#endif
    178178
     
    181181#endif
    182182
    183 extern sysarg_t sys_task_set_name(const char *, size_t);
    184 extern sysarg_t sys_task_kill(task_id_t *);
    185 extern sysarg_t sys_task_exit(sysarg_t);
     183extern sys_errno_t sys_task_set_name(const char *, size_t);
     184extern sys_errno_t sys_task_kill(task_id_t *);
     185extern sys_errno_t sys_task_exit(sysarg_t);
    186186
    187187#endif
  • kernel/generic/include/proc/thread.h

    r36f0738 rb7fd2a0  
    256256        thread_join_timeout((t), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE)
    257257
    258 extern int thread_join_timeout(thread_t *, uint32_t, unsigned int);
     258extern errno_t thread_join_timeout(thread_t *, uint32_t, unsigned int);
    259259extern void thread_detach(thread_t *);
    260260
     
    276276
    277277/* Thread syscall prototypes. */
    278 extern sysarg_t sys_thread_create(uspace_arg_t *, char *, size_t,
     278extern sys_errno_t sys_thread_create(uspace_arg_t *, char *, size_t,
    279279    thread_id_t *);
    280 extern sysarg_t sys_thread_exit(int);
    281 extern sysarg_t sys_thread_get_id(thread_id_t *);
    282 extern sysarg_t sys_thread_usleep(uint32_t);
    283 extern sysarg_t sys_thread_udelay(uint32_t);
     280extern sys_errno_t sys_thread_exit(int);
     281extern sys_errno_t sys_thread_get_id(thread_id_t *);
     282extern sys_errno_t sys_thread_usleep(uint32_t);
     283extern sys_errno_t sys_thread_udelay(uint32_t);
    284284
    285285#endif
  • kernel/generic/include/security/perm.h

    r36f0738 rb7fd2a0  
    7575#ifdef __32_BITS__
    7676
    77 extern sysarg_t sys_perm_grant(sysarg64_t *, perm_t);
    78 extern sysarg_t sys_perm_revoke(sysarg64_t *, perm_t);
     77extern sys_errno_t sys_perm_grant(sysarg64_t *, perm_t);
     78extern sys_errno_t sys_perm_revoke(sysarg64_t *, perm_t);
    7979
    8080#endif  /* __32_BITS__ */
     
    8282#ifdef __64_BITS__
    8383
    84 extern sysarg_t sys_perm_grant(sysarg_t, perm_t);
    85 extern sysarg_t sys_perm_revoke(sysarg_t, perm_t);
     84extern sys_errno_t sys_perm_grant(sysarg_t, perm_t);
     85extern sys_errno_t sys_perm_revoke(sysarg_t, perm_t);
    8686
    8787#endif  /* __64_BITS__ */
  • kernel/generic/include/str.h

    r36f0738 rb7fd2a0  
    6868
    6969extern wchar_t str_decode(const char *str, size_t *offset, size_t sz);
    70 extern int chr_encode(wchar_t ch, char *str, size_t *offset, size_t sz);
     70extern errno_t chr_encode(wchar_t ch, char *str, size_t *offset, size_t sz);
    7171
    7272extern size_t str_size(const char *str);
     
    100100extern bool wstr_remove(wchar_t *str, size_t pos);
    101101
    102 extern int str_uint64_t(const char *, char **, unsigned int, bool, uint64_t *);
     102extern errno_t str_uint64_t(const char *, char **, unsigned int, bool, uint64_t *);
    103103
    104104extern void order_suffix(const uint64_t, uint64_t *, char *);
  • kernel/generic/include/symtab_lookup.h

    r36f0738 rb7fd2a0  
    4545};
    4646
    47 extern int symtab_name_lookup(uintptr_t, const char **, uintptr_t *);
     47extern errno_t symtab_name_lookup(uintptr_t, const char **, uintptr_t *);
    4848extern const char *symtab_fmt_name_lookup(uintptr_t);
    49 extern int symtab_addr_lookup(const char *, uintptr_t *);
     49extern errno_t symtab_addr_lookup(const char *, uintptr_t *);
    5050
    5151#ifdef CONFIG_SYMTAB
  • kernel/generic/include/synch/condvar.h

    r36f0738 rb7fd2a0  
    6262extern void condvar_signal(condvar_t *cv);
    6363extern void condvar_broadcast(condvar_t *cv);
    64 extern int _condvar_wait_timeout(condvar_t *cv, mutex_t *mtx, uint32_t usec,
     64extern errno_t _condvar_wait_timeout(condvar_t *cv, mutex_t *mtx, uint32_t usec,
    6565    int flags);
    66 extern int _condvar_wait_timeout_spinlock_impl(condvar_t *cv, spinlock_t *lock,
     66extern errno_t _condvar_wait_timeout_spinlock_impl(condvar_t *cv, spinlock_t *lock,
    6767        uint32_t usec, int flags);
    68 extern int _condvar_wait_timeout_irq_spinlock(condvar_t *cv,
     68extern errno_t _condvar_wait_timeout_irq_spinlock(condvar_t *cv,
    6969        irq_spinlock_t *irq_lock, uint32_t usec, int flags);
    7070
  • kernel/generic/include/synch/futex.h

    r36f0738 rb7fd2a0  
    5353
    5454extern void futex_init(void);
    55 extern sysarg_t sys_futex_sleep(uintptr_t);
    56 extern sysarg_t sys_futex_wakeup(uintptr_t);
     55extern sys_errno_t sys_futex_sleep(uintptr_t);
     56extern sys_errno_t sys_futex_wakeup(uintptr_t);
    5757
    5858extern void futex_task_cleanup(void);
  • kernel/generic/include/synch/mutex.h

    r36f0738 rb7fd2a0  
    6767extern void mutex_initialize(mutex_t *, mutex_type_t);
    6868extern bool mutex_locked(mutex_t *);
    69 extern int _mutex_lock_timeout(mutex_t *, uint32_t, unsigned int);
     69extern errno_t _mutex_lock_timeout(mutex_t *, uint32_t, unsigned int);
    7070extern void mutex_unlock(mutex_t *);
    7171
  • kernel/generic/include/synch/semaphore.h

    r36f0738 rb7fd2a0  
    5959
    6060extern void semaphore_initialize(semaphore_t *, int);
    61 extern int _semaphore_down_timeout(semaphore_t *, uint32_t, unsigned int);
     61extern errno_t _semaphore_down_timeout(semaphore_t *, uint32_t, unsigned int);
    6262extern void semaphore_up(semaphore_t *);
    6363extern int semaphore_count_get(semaphore_t *);
  • kernel/generic/include/synch/smc.h

    r36f0738 rb7fd2a0  
    3636#define KERN_SMC_H_
    3737
    38 extern sysarg_t sys_smc_coherence(uintptr_t, size_t);
     38extern sys_errno_t sys_smc_coherence(uintptr_t, size_t);
    3939
    4040#endif
  • kernel/generic/include/synch/smp_memory_barrier.h

    r36f0738 rb7fd2a0  
    3838#include <typedefs.h>
    3939
    40 extern sysarg_t sys_smp_memory_barrier(void);
     40extern sys_errno_t sys_smp_memory_barrier(void);
    4141
    4242#endif
  • kernel/generic/include/synch/waitq.h

    r36f0738 rb7fd2a0  
    7272
    7373extern void waitq_initialize(waitq_t *);
    74 extern int waitq_sleep_timeout(waitq_t *, uint32_t, unsigned int, bool *);
     74extern errno_t waitq_sleep_timeout(waitq_t *, uint32_t, unsigned int, bool *);
    7575extern ipl_t waitq_sleep_prepare(waitq_t *);
    76 extern int waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, unsigned int, bool *);
     76extern errno_t waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, unsigned int, bool *);
    7777extern void waitq_sleep_finish(waitq_t *, bool, ipl_t);
    7878extern void waitq_wakeup(waitq_t *, wakeup_mode_t);
  • kernel/generic/include/syscall/copy.h

    r36f0738 rb7fd2a0  
    4444extern char memcpy_to_uspace_failover_address;
    4545
    46 extern int copy_from_uspace(void *dst, const void *uspace_src, size_t size);
    47 extern int copy_to_uspace(void *dst_uspace, const void *src, size_t size);
     46extern errno_t copy_from_uspace(void *dst, const void *uspace_src, size_t size);
     47extern errno_t copy_to_uspace(void *dst_uspace, const void *src, size_t size);
    4848
    4949/*
    5050 * This interface must be implemented by each architecture.
    5151 */
    52 extern int memcpy_from_uspace(void *dst, const void *uspace_src, size_t size);
    53 extern int memcpy_to_uspace(void *uspace_dst, const void *src, size_t size);
     52extern errno_t memcpy_from_uspace(void *dst, const void *uspace_src, size_t size);
     53extern errno_t memcpy_to_uspace(void *uspace_dst, const void *src, size_t size);
    5454
    5555#endif
  • kernel/generic/include/sysinfo/sysinfo.h

    r36f0738 rb7fd2a0  
    162162extern void sysinfo_dump(sysinfo_item_t *);
    163163
    164 extern sysarg_t sys_sysinfo_get_keys_size(void *, size_t, void *);
    165 extern sysarg_t sys_sysinfo_get_keys(void *, size_t, void *, size_t, size_t *);
     164extern sys_errno_t sys_sysinfo_get_keys_size(void *, size_t, void *);
     165extern sys_errno_t sys_sysinfo_get_keys(void *, size_t, void *, size_t, size_t *);
    166166extern sysarg_t sys_sysinfo_get_val_type(void *, size_t);
    167 extern sysarg_t sys_sysinfo_get_value(void *, size_t, void *);
    168 extern sysarg_t sys_sysinfo_get_data_size(void *, size_t, void *);
    169 extern sysarg_t sys_sysinfo_get_data(void *, size_t, void *, size_t, size_t *);
     167extern sys_errno_t sys_sysinfo_get_value(void *, size_t, void *);
     168extern sys_errno_t sys_sysinfo_get_data_size(void *, size_t, void *);
     169extern sys_errno_t sys_sysinfo_get_data(void *, size_t, void *, size_t, size_t *);
    170170
    171171#endif
  • kernel/generic/include/udebug/udebug.h

    r36f0738 rb7fd2a0  
    102102void udebug_before_thread_runs(void);
    103103
    104 int udebug_task_cleanup(struct task *);
     104errno_t udebug_task_cleanup(struct task *);
    105105void udebug_thread_fault(void);
    106106
  • kernel/generic/include/udebug/udebug_ipc.h

    r36f0738 rb7fd2a0  
    3838#include <ipc/ipc.h>
    3939
    40 int udebug_request_preprocess(call_t *call, phone_t *phone);
     40errno_t udebug_request_preprocess(call_t *call, phone_t *phone);
    4141void udebug_call_receive(call_t *call);
    4242
  • kernel/generic/include/udebug/udebug_ops.h

    r36f0738 rb7fd2a0  
    4141#include <stddef.h>
    4242
    43 int udebug_begin(call_t *call, bool *active);
    44 int udebug_end(void);
    45 int udebug_set_evmask(udebug_evmask_t mask);
     43errno_t udebug_begin(call_t *call, bool *active);
     44errno_t udebug_end(void);
     45errno_t udebug_set_evmask(udebug_evmask_t mask);
    4646
    47 int udebug_go(thread_t *t, call_t *call);
    48 int udebug_stop(thread_t *t, call_t *call);
     47errno_t udebug_go(thread_t *t, call_t *call);
     48errno_t udebug_stop(thread_t *t, call_t *call);
    4949
    50 int udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
     50errno_t udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
    5151    size_t *needed);
    52 int udebug_name_read(char **data, size_t *data_size);
    53 int udebug_args_read(thread_t *t, void **buffer);
     52errno_t udebug_name_read(char **data, size_t *data_size);
     53errno_t udebug_args_read(thread_t *t, void **buffer);
    5454
    55 int udebug_regs_read(thread_t *t, void **buffer);
     55errno_t udebug_regs_read(thread_t *t, void **buffer);
    5656
    57 int udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
     57errno_t udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
    5858
    5959#endif
Note: See TracChangeset for help on using the changeset viewer.