Changeset 64b7854 in mainline for kernel/generic/src/console/console.c

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/src/console/console.c (modified) (1 diff)

kernel/generic/src/console/console.c

@@ -395 +395 @@
  *
  */
-sys_errno_t sys_kio(int cmd, uspace_ptr(void) buf, size_t size)
+sys_errno_t sys_kio(int cmd, uspace_addr_t buf, size_t size)
 {
         char *data;