static void ptimer_trigger(ptimer_state *s)

{

    if (s->bh) {

        qemu_bh_schedule(s->bh);

    }

}

static void ptimer_trigger(ptimer_state *s)

{

    if (s->bh) {

        qemu_bh_schedule(s->bh);

    }

}

static void FUNC_0(ptimer_state *VAR_0)

{

    if (VAR_0->bh) {

        qemu_bh_schedule(VAR_0->bh);

    }

}

static void FUNC_0(ptimer_state *VAR_0)
{ if (VAR_0->bh) { qemu_bh_schedule(VAR_0->bh); } }