Index: kernel/generic/include/udebug/udebug_ops.h
===================================================================
--- kernel/generic/include/udebug/udebug_ops.h	(revision e39d7b832f24a725f0663acb3b62261da551856a)
+++ kernel/generic/include/udebug/udebug_ops.h	(revision 962c89afe38cc676140bab1d35d9c8e9ca467e27)
@@ -55,5 +55,5 @@
 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