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

Timestamp:

2019-06-20T13:47:03Z (6 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/log.h (modified) (1 diff)

kernel/generic/include/log.h

@@ -52 +52 @@
     _HELENOS_PRINTF_ATTRIBUTE(3, 4);
 
-extern sys_errno_t sys_klog(sysarg_t, uspace_ptr(void) buf, size_t size,
+extern sys_errno_t sys_klog(sysarg_t, uspace_addr_t buf, size_t size,
     sysarg_t level, uspace_ptr(size_t) uspace_nread);