void aio_notify(AioContext *ctx)

{

    /* Write e.g. bh->scheduled before reading ctx->dispatching.  */

    smp_mb();

    if (!ctx->dispatching) {

        event_notifier_set(&ctx->notifier);

    }

}

void aio_notify(AioContext *ctx)

{

    

    smp_mb();

    if (!ctx->dispatching) {

        event_notifier_set(&ctx->notifier);

    }

}

    if (!ctx->dispatching) {
void FUNC_0(AioContext *VAR_0)

{

    

    smp_mb();

    if (!VAR_0->dispatching) {

        event_notifier_set(&VAR_0->notifier);

    }

}

void FUNC_0(AioContext *VAR_0)
{ smp_mb(); if (!VAR_0->dispatching) { event_notifier_set(&VAR_0->notifier); } }