diff --git a/src/thread/thread.c b/src/thread/thread.c
index ad673eb..fd1203a 100644
--- a/src/thread/thread.c
+++ b/src/thread/thread.c
@@ -1,6 +1,7 @@
 #include "thread.h"
 #include "debug.h"
 #include "pthread.h"
+#include <bits/pthreadtypes.h>
 #include <sched.h>
 
 
@@ -29,3 +30,17 @@ void thread_exit(void *retval) {
   pthread_exit(retval);
 }
 
+int thread_mutex_init(thread_mutex_t *mutex) {
+  return pthread_mutex_init((pthread_mutex_t *) mutex, NULL);
+}
+int thread_mutex_destroy(thread_mutex_t *mutex) {
+  return pthread_mutex_destroy((pthread_mutex_t *) mutex);
+}
+int thread_mutex_lock(thread_mutex_t *mutex) {
+  return pthread_mutex_lock((pthread_mutex_t * )mutex);
+}
+int thread_mutex_unlock(thread_mutex_t *mutex) {
+  return pthread_mutex_unlock((pthread_mutex_t *)mutex);
+}
+
+