Changes in kernel/generic/include/udebug/udebug.h [96b02eb9:3698e44] in mainline

File:

• kernel/generic/include/udebug/udebug.h (modified) (2 diffs)

kernel/generic/include/udebug/udebug.h

@@ -212 +212 @@
         waitq_t go_wq;
         call_t *go_call;
-        sysarg_t syscall_args[6];
+        unative_t syscall_args[6];
         istate_t *uspace_state;
 
@@ -229 +229 @@
 void udebug_thread_initialize(udebug_thread_t *ut);
 
-void udebug_syscall_event(sysarg_t a1, sysarg_t a2, sysarg_t a3,
-    sysarg_t a4, sysarg_t a5, sysarg_t a6, sysarg_t id, sysarg_t rc,
+void udebug_syscall_event(unative_t a1, unative_t a2, unative_t a3,
+    unative_t a4, unative_t a5, unative_t a6, unative_t id, unative_t rc,
     bool end_variant);