Changes in kernel/generic/include/udebug/udebug_ops.h [5a5269d:174156fd] in mainline

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_addr_t uspace_addr, size_t n, void **buffer);
+errno_t udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
 
 #endif