Nope. Reentrant mutex is conceptually incompatible with coroutines. Coroutines are ephemeral. They don’t even have identity. Any work that coroutine is doing can be decomposed to a work for another coroutine at any time. How would you define “reentrancy” in this world?