Remove now-unused field

src/core/workers.c

@@ -581,7 +581,6 @@ static void _starpu_worker_init(struct _starpu_worker *workerarg, struct _starpu
 	workerarg->reverse_phase[0] = 0;
 	workerarg->reverse_phase[1] = 0;
 	workerarg->pop_ctx_priority = 1;
-	workerarg->sched_mutex_depth = 0;
 	workerarg->is_slave_somewhere = 0;
 
 	workerarg->state_safe_for_observation = 1;

src/core/workers.h

@@ -157,9 +157,6 @@ LIST_TYPE(_starpu_worker,
 	/* indicate which priority of ctx is currently active: the values are 0 or 1*/
 	unsigned pop_ctx_priority;
 
-	/* sched mutex local worker locking depth */
-	unsigned sched_mutex_depth;
-
 	/* bool to indicate if the worker is slave in a ctx */
 	unsigned is_slave_somewhere;