tree 49041a5fd72181104eec6a2b64c0b08f0c2958de
parent 4619aaa9123cfee1c1770cef04aa65f5c26fd52f
author Hugo Lefeuvre <hugo.lefeuvre@scisemi.com> 1714036889 +0200
committer David Chisnall <davidchisnall@users.noreply.github.com> 1714653401 +0100

Add a `eventgroup_destroy_force` API.

This new API destroys an event group without tacking the lock.

This API is inherently racy. Its main purpose is to cleanup the event
group in an error handler context, when taking lock may be impossible.

While we are at it, all `eventgroup_destroy` operations, forced or not,
should upgrade the lock for destruction before freeing it.

Signed-off-by: Hugo Lefeuvre <hugo.lefeuvre@scisemi.com>