diff options
| -rw-r--r-- | common/dispatch.c | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/common/dispatch.c b/common/dispatch.c index 62f10a9..2786678 100644 --- a/common/dispatch.c +++ b/common/dispatch.c @@ -31,11 +31,5 @@ void dispatch(sys_arg_t a, sys_arg_t b, sys_arg_t c, sys_arg_t d, sys_arg_t e, sys_arg_t f) { - struct tcb *t = cur_tcb(); - if (clear_ipi(t)) { - handle_ipi(t); - return; - } - - handle_syscall(a, b, c, d, e, f, t); + handle_syscall(a, b, c, d, e, f, cur_tcb()); } |