Changeset d7dfa05 in mainline for kernel/generic/src/sysinfo/sysinfo.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/sysinfo/sysinfo.c (modified) (2 diffs)

kernel/generic/src/sysinfo/sysinfo.c

@@ -880 +880 @@
  */
 sys_errno_t sys_sysinfo_get_keys(uspace_addr_t path_ptr, size_t path_size,
-    uspace_addr_t buffer_ptr, size_t buffer_size, uspace_ptr(size_t) size_ptr)
+    uspace_addr_t buffer_ptr, size_t buffer_size, uspace_ptr_size_t size_ptr)
 {
         errno_t rc;
@@ -1037 +1037 @@
  */
 sys_errno_t sys_sysinfo_get_data(uspace_addr_t path_ptr, size_t path_size,
-    uspace_addr_t buffer_ptr, size_t buffer_size, uspace_ptr(size_t) size_ptr)
+    uspace_addr_t buffer_ptr, size_t buffer_size, uspace_ptr_size_t size_ptr)
 {
         errno_t rc;