1 files changed, 0 insertions, 15 deletions
diff --git a/src/user/lib/include/mutex.h b/src/user/lib/include/mutex.h
deleted file mode 100644
index a6b949b..0000000
--- a/src/user/lib/include/mutex.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef DEF_MUTEX_H
-#define DEF_MUTEX_H
-
-#include <tce/syscall.h>
-
-#define MUTEX_LOCKED 1
-#define MUTEX_UNLOCKED 0
-
-//A mutex is just an uint32_t
-
-void mutex_lock(uint32_t* mutex);	//wait for mutex to be free
-int mutex_lockE(uint32_t* mutex);	//lock mutex only if free, returns !0 if locked, 0 if was busy
-void mutex_unlock(uint32_t* mutex);
-
-#endif