void aio_notify(AioContext *ctx)

{

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

     * with atomic_or in aio_ctx_prepare or atomic_add in aio_poll.

     */

    smp_mb();

    if (ctx->notify_me) {

        event_notifier_set(&ctx->notifier);

        atomic_mb_set(&ctx->notified, true);

    }

}

void aio_notify(AioContext *ctx)

{

    





    smp_mb();

    if (ctx->notify_me) {

        event_notifier_set(&ctx->notifier);

        atomic_mb_set(&ctx->notified, true);

    }

}

void FUNC_0(AioContext *VAR_0)

{

    





    smp_mb();

    if (VAR_0->notify_me) {

        event_notifier_set(&VAR_0->notifier);

        atomic_mb_set(&VAR_0->notified, true);

    }

}

void FUNC_0(AioContext *VAR_0)
{ smp_mb(); if (VAR_0->notify_me) { event_notifier_set(&VAR_0->notifier); atomic_mb_set(&VAR_0->notified, true); } }