workers: turn function starpu_worker_get_nsched_ctxs and hence rename it as _starpu_worker_get_nsched_ctxs

include/starpu_worker.h

@@ -105,8 +105,6 @@ int starpu_worker_get_devid(int id);
 
 int starpu_worker_get_mp_nodeid(int id);
 
-int starpu_worker_get_nsched_ctxs(int workerid);
-
 struct starpu_tree* starpu_workers_get_tree(void);
 
 #ifdef __cplusplus

src/core/workers.c

@@ -1709,7 +1709,7 @@ struct _starpu_sched_ctx* _starpu_get_initial_sched_ctx(void)
 	return &config.sched_ctxs[STARPU_GLOBAL_SCHED_CTX];
 }
 
-int starpu_worker_get_nsched_ctxs(int workerid)
+int _starpu_worker_get_nsched_ctxs(int workerid)
 {
 	return config.workers[workerid].nsched_ctxs;
 }

src/core/workers.h

@@ -422,4 +422,6 @@ void _starpu_worker_set_flag_sched_mutex_locked(int workerid, unsigned flag);
 
 unsigned _starpu_worker_mutex_is_sched_mutex(int workerid, starpu_pthread_mutex_t *mutex);
 
+int _starpu_worker_get_nsched_ctxs(int workerid);
+
 #endif // __WORKERS_H__