Changeset d7dfa05 in mainline for kernel/generic/src/security/perm.c

Timestamp:

2019-06-20T14:07:25Z (5 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/src/security/perm.c (modified) (2 diffs)

kernel/generic/src/security/perm.c

@@ -158 +158 @@
  *
  */
-sys_errno_t sys_perm_grant(uspace_ptr(sysarg64_t) uspace_taskid, perm_t perms)
+sys_errno_t sys_perm_grant(uspace_ptr_sysarg64_t uspace_taskid, perm_t perms)
 {
         sysarg64_t taskid;
@@ -179 +179 @@
  *
  */
-sys_errno_t sys_perm_revoke(uspace_ptr(sysarg64_t) uspace_taskid, perm_t perms)
+sys_errno_t sys_perm_revoke(uspace_ptr_sysarg64_t uspace_taskid, perm_t perms)
 {
         sysarg64_t taskid;