static void tpm_tis_receive_cb(TPMState *s, uint8_t locty)

{

    TPMTISEmuState *tis = &s->s.tis;



    assert(s->locty_number == locty);



    qemu_bh_schedule(tis->bh);

}

static void tpm_tis_receive_cb(TPMState *s, uint8_t locty)

{

    TPMTISEmuState *tis = &s->s.tis;



    assert(s->locty_number == locty);



    qemu_bh_schedule(tis->bh);

}

static void FUNC_0(TPMState *VAR_0, uint8_t VAR_1)

{

    TPMTISEmuState *tis = &VAR_0->VAR_0.tis;



    assert(VAR_0->locty_number == VAR_1);



    qemu_bh_schedule(tis->bh);

}

static void FUNC_0(TPMState *VAR_0, uint8_t VAR_1)
{ TPMTISEmuState *tis = &VAR_0->VAR_0.tis; assert(VAR_0->locty_number == VAR_1); qemu_bh_schedule(tis->bh); }