From a3e45d5dcaf1bf3a9e684b5fcc301413ec994a9b Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 9 Nov 2022 16:27:23 +0200 Subject: add basic IPI structure --- common/dispatch.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 common/dispatch.c (limited to 'common/dispatch.c') diff --git a/common/dispatch.c b/common/dispatch.c new file mode 100644 index 0000000..1325d62 --- /dev/null +++ b/common/dispatch.c @@ -0,0 +1,12 @@ +#include +#include + +struct sys_ret 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)) + return handle_ipi(t); + + return handle_syscall(t, a, b, c, d, e, f); +} -- cgit v1.3