syscalls: clockget

kernel-src/sys/syscalls/clockget.c

@@ -0,0 +1,40 @@
+#include <kernel/syscalls.h>
+#include <kernel/abi.h>
+#include <time.h>
+#include <kernel/timekeeper.h>
+#include <kernel/vmm.h>
+
+#define CLOCK_REALTIME 0
+#define CLOCK_BOOTTIME 7
+
+syscallret_t syscall_clockget(context_t *, int clockid, timespec_t *tp){
+	syscallret_t ret = {
+		.ret = -1
+	};
+
+	if ((void *)tp > USERSPACE_END) {
+		ret.errno = EFAULT;
+		return ret;
+	}
+
+	switch (clockid) {
+		case CLOCK_REALTIME:
+			// TODO safe memcpy
+			*tp = timekeeper_time();
+			ret.errno = 0;
+			break;
+		case CLOCK_BOOTTIME:
+			// TODO safe memcpy
+			*tp = timekeeper_timefromboot();
+			ret.errno = 0;
+			break;
+		default:
+			ret.errno = EINVAL;
+			break;
+	}
+
+	ret.ret = ret.errno ? -1 : 0;
+
+	return ret;
+
+}