Changeset 64b7854 in mainline for kernel/generic/include/udebug/udebug_ops.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/udebug/udebug_ops.h (modified) (1 diff)

kernel/generic/include/udebug/udebug_ops.h

@@ -55 +55 @@
 errno_t udebug_regs_read(thread_t *t, void **buffer);
 
-errno_t udebug_mem_read(uspace_ptr(void) uspace_addr, size_t n, void **buffer);
+errno_t udebug_mem_read(uspace_addr_t uspace_addr, size_t n, void **buffer);
 
 #endif