Changeset b7fd2a0 in mainline for kernel/generic/include/udebug/udebug_ops.h

Timestamp:

2018-01-13T03:10:29Z (6 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
<sup>git add .
tools/srepl '\berrno_t\b' int
git add .
tools/srepl '\bsys_errno_t\b' sysarg_t
git reset
git diff
`</sup>

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:

• kernel/generic/include/udebug/udebug_ops.h (modified) (1 diff)

kernel/generic/include/udebug/udebug_ops.h

@@ -41 +41 @@
 #include <stddef.h>
 
-int udebug_begin(call_t *call, bool *active);
-int udebug_end(void);
-int udebug_set_evmask(udebug_evmask_t mask);
+errno_t udebug_begin(call_t *call, bool *active);
+errno_t udebug_end(void);
+errno_t udebug_set_evmask(udebug_evmask_t mask);
 
-int udebug_go(thread_t *t, call_t *call);
-int udebug_stop(thread_t *t, call_t *call);
+errno_t udebug_go(thread_t *t, call_t *call);
+errno_t udebug_stop(thread_t *t, call_t *call);
 
-int udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
+errno_t udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
     size_t *needed);
-int udebug_name_read(char **data, size_t *data_size);
-int udebug_args_read(thread_t *t, void **buffer);
+errno_t udebug_name_read(char **data, size_t *data_size);
+errno_t udebug_args_read(thread_t *t, void **buffer);
 
-int udebug_regs_read(thread_t *t, void **buffer);
+errno_t udebug_regs_read(thread_t *t, void **buffer);
 
-int udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
+errno_t udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
 
 #endif