Add mutex userspace / syscalls.

2 files changed, 25 insertions, 3 deletions

diff --git a/src/include/sys/mutex.h b/src/include/sys/mutex.h
new file mode 100644
index 000000000..3eca65f06
--- /dev/null
+++ b/src/include/sys/mutex.h
@@ -0,0 +1,20 @@
+#ifndef __SYS_MUTEX_H
+#define __SYS_MUTEX_H
+
+#ifdef __cplusplus
+extern "C"
+{
+#endif
+
+typedef void* mutex_t;
+
+mutex_t mutex_create();
+int mutex_destroy(mutex_t);
+
+int mutex_lock(mutex_t);
+int mutex_unlock(mutex_t);
+
+#ifdef __cplusplus
+}
+#endif
+#endif
diff --git a/src/include/sys/task.h b/src/include/sys/task.h
index 84ddb10f9..fa9838723 100644
--- a/src/include/sys/task.h
+++ b/src/include/sys/task.h
@@ -1,18 +1,20 @@
 #ifndef __SYS_TASK_H
 #define __SYS_TASK_H
 
-#include <sys/syscall.h>
+#include <stdint.h>
 
 #ifdef __cplusplus
 extern "C" 
 {
 #endif
 
+typedef uint64_t tid_t;
+
 void task_yield();
-int task_create(void(*)(void*), void*);
+tid_t task_create(void(*)(void*), void*);
 void task_end();
 
-uint64_t task_gettid();
+tid_t task_gettid();
 
 #ifdef __cplusplus
 }