use starpu thread type instead of using directly pthread type

include/starpu_worker.h

@@ -20,6 +20,7 @@
 
 #include <stdlib.h>
 #include <starpu_config.h>
+#include <starpu_thread.h>
 
 #ifdef __cplusplus
 extern "C"
@@ -98,7 +99,7 @@ int starpu_worker_get_nsched_ctxs(int workerid);
 
 void starpu_worker_set_flag_sched_mutex_locked(int workerid, unsigned flag);
 
-unsigned starpu_worker_mutex_is_sched_mutex(int workerid, pthread_mutex_t *mutex);
+unsigned starpu_worker_mutex_is_sched_mutex(int workerid, starpu_pthread_mutex_t *mutex);
 
 #ifdef __cplusplus
 }

src/core/workers.c

@@ -1796,7 +1796,7 @@ void starpu_worker_set_flag_sched_mutex_locked(int workerid, unsigned flag)
 	w->sched_mutex_locked = flag;
 }
 
-unsigned starpu_worker_mutex_is_sched_mutex(int workerid, pthread_mutex_t *mutex)
+unsigned starpu_worker_mutex_is_sched_mutex(int workerid, starpu_pthread_mutex_t *mutex)
 {
 	struct _starpu_worker *w = _starpu_get_worker_struct(workerid);
 	return &w->sched_mutex == mutex;