On Thu, 24 Oct 2019, Jens Axboe wrote:

> On 10/24/19 2:12 AM, Julia Lawall wrote:
> > Hello,
> >
> > This is actually complaining about the continues on lines 295 and 298.  I
> > guess the calls to io_wq_run_queue and __io_worker_idle release the lock
> > in the case of success?
>
> Right, and I haven't found a good way to annotate that. Any suggestions?

Coccinelle doesn't pick up on annotations at the moment, so the only thing
I can suggest is a comment.

julia