Changeset d7dfa05 in mainline for kernel/generic/include/proc/task.h

Timestamp:

2019-06-20T14:07:25Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

5acf533

Parents:

64b7854

Message:

Make the types ccheck-safe

Instead of using uspace_ptr(char), use uspace_ptr_char which is
defined as #define uspace_ptr_char uspace_ptr(char).

File:

• kernel/generic/include/proc/task.h (modified) (2 diffs)

kernel/generic/include/proc/task.h

@@ -164 +164 @@
 
 #ifdef __32_BITS__
-extern sys_errno_t sys_task_get_id(uspace_ptr(sysarg64_t));
+extern sys_errno_t sys_task_get_id(uspace_ptr_sysarg64_t);
 #endif
 
@@ -171 +171 @@
 #endif
 
-extern sys_errno_t sys_task_set_name(uspace_ptr(const char), size_t);
-extern sys_errno_t sys_task_kill(uspace_ptr(task_id_t));
+extern sys_errno_t sys_task_set_name(uspace_ptr_const_char, size_t);
+extern sys_errno_t sys_task_kill(uspace_ptr_task_id_t);
 extern sys_errno_t sys_task_exit(sysarg_t);