1 files changed, 4 insertions, 4 deletions
diff --git a/backends/gp32/gp32.h b/backends/gp32/gp32.h
index 825eeccb51..19d0f9ebd6 100644
--- a/backends/gp32/gp32.h
+++ b/backends/gp32/gp32.h
@@ -102,10 +102,10 @@ public:
 	void set_timer(int timer, int (*callback)(int));
 
 	// Mutex handling
-	void *create_mutex();
-	void lock_mutex(void *mutex);
-	void unlock_mutex(void *mutex);
-	void delete_mutex(void *mutex);
+	MutexRef create_mutex();
+	void lock_mutex(MutexRef mutex);
+	void unlock_mutex(MutexRef mutex);
+	void delete_mutex(MutexRef mutex);
 
 	// Quit
 	void quit();