Locks the local task pool Garbles task_pool for the duration of the lock. Requires correctly set task_pool_ptr. ATTENTION: This method is mostly the same as generic_scheduler::lock_task_pool(), with a little different logic of slot state checks (slot is either locked or points to our task pool). Thus if either of them is changed, consider changing the counterpart as well. *
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected