Changes in kernel/generic/src/ipc/ipcrsc.c [96b02eb9:da1bafb] in mainline

File:

• kernel/generic/src/ipc/ipcrsc.c (modified) (2 diffs)

kernel/generic/src/ipc/ipcrsc.c

@@ -144 +144 @@
  *
  */
-call_t *get_call(sysarg_t callid)
+call_t *get_call(unative_t callid)
 {
         link_t *lst;
@@ -153 +153 @@
             lst != &TASK->answerbox.dispatched_calls; lst = lst->next) {
                 call_t *call = list_get_instance(lst, call_t, link);
-                if ((sysarg_t) call == callid) {
+                if ((unative_t) call == callid) {
                         result = call;
                         break;