Changeset 64b7854 in mainline for kernel/generic/include/sysinfo/sysinfo.h

Timestamp:

2019-06-20T13:47:03Z (5 years ago)

Author:

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

Children:

d7dfa05

Parents:

e39d7b8

Message:

Use uspace_addr_t instead of uspace_ptr(void)

File:

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

kernel/generic/include/sysinfo/sysinfo.h

@@ -162 +162 @@
 extern void sysinfo_dump(sysinfo_item_t *);
 
-extern sys_errno_t sys_sysinfo_get_keys_size(uspace_ptr(void), size_t, uspace_ptr(void));
-extern sys_errno_t sys_sysinfo_get_keys(uspace_ptr(void), size_t, uspace_ptr(void), size_t, uspace_ptr(size_t));
-extern sysarg_t sys_sysinfo_get_val_type(uspace_ptr(void), size_t);
-extern sys_errno_t sys_sysinfo_get_value(uspace_ptr(void), size_t, uspace_ptr(void));
-extern sys_errno_t sys_sysinfo_get_data_size(uspace_ptr(void), size_t, uspace_ptr(void));
-extern sys_errno_t sys_sysinfo_get_data(uspace_ptr(void), size_t, uspace_ptr(void), size_t, uspace_ptr(size_t));
+extern sys_errno_t sys_sysinfo_get_keys_size(uspace_addr_t, size_t, uspace_addr_t);
+extern sys_errno_t sys_sysinfo_get_keys(uspace_addr_t, size_t, uspace_addr_t, size_t, uspace_ptr(size_t));
+extern sysarg_t sys_sysinfo_get_val_type(uspace_addr_t, size_t);
+extern sys_errno_t sys_sysinfo_get_value(uspace_addr_t, size_t, uspace_addr_t);
+extern sys_errno_t sys_sysinfo_get_data_size(uspace_addr_t, size_t, uspace_addr_t);
+extern sys_errno_t sys_sysinfo_get_data(uspace_addr_t, size_t, uspace_addr_t, size_t, uspace_ptr(size_t));
 
 #endif