On Sun, 20 Dec 2020 12:47:08 +0100, John Wood said:

> disable interrupts. Then, the task_free hook was call from an IRQ context
> and tried to acquire the same lock in a write state.

OK, I'll bite.

Why was task_free called from an IRQ context in the first place? That sounds
awfully fishy.....