add basic IPI structure

1 files changed, 12 insertions, 0 deletions

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 <apos/uapi.h>
+#include <apos/ipi.h>
+
+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);
+}