syscalls: gettid

kernel-src/sys/syscalls/gettid.c

@@ -0,0 +1,10 @@
+#include <kernel/syscalls.h>
+#include <kernel/scheduler.h>
+
+syscallret_t syscall_gettid(context_t *) {
+	syscallret_t ret = {
+		.errno = 0,
+		.ret = _cpu()->thread->tid
+	};
+	return ret;
+}