1 files changed, 0 insertions, 17 deletions
diff --git a/src/util/mutex.h b/src/util/mutex.h
deleted file mode 100644
index 524a461..0000000
--- a/src/util/mutex.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef UTIL_MUTEX_H
-#define UTIL_MUTEX_H
-
-#define NULL_PID 0
-#define SYS_PID 1
-#define SCHED_PID 2
-
-struct Mutex {
-	void* addr;
-	unsigned long pid;
-} __attribute__((packed, aligned(4)));;
-
-unsigned char lock_mutex(struct Mutex*, unsigned long);
-unsigned char release_mutex(struct Mutex*, unsigned long);
-struct Mutex* create_mutex(void* addr);
-
-#endif