diff options
Diffstat (limited to 'backends/gp32/gp32.h')
-rw-r--r-- | backends/gp32/gp32.h | 8 |
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(); |