On 11/23/25 18:57, Maurice Hieronymus wrote:
> In [1] it is pointed out that each mutex_init call should have a
> corresponding call to mutex_destroy; otherwise, it is considered a bug.
IIUC, mutex_destroy() only ever does something during with
CONFIG_DEBUG_MUTEXES. And there, it performs mostly sanity checks (so
it's not some missed memory freeing etc).
I wonder whether we should still ad Fixes tags.
--
Cheers
David