static void set_tco_timeout(const TestData *d, uint16_t ticks)

{

    qpci_io_writew(d->dev, d->tco_io_base + TCO_TMR, ticks);

}

static void set_tco_timeout(const TestData *d, uint16_t ticks)

{

    qpci_io_writew(d->dev, d->tco_io_base + TCO_TMR, ticks);

}

    qpci_io_writew(d->dev, d->tco_io_base + TCO_TMR, ticks);
static void FUNC_0(const TestData *VAR_0, uint16_t VAR_1)

{

    qpci_io_writew(VAR_0->dev, VAR_0->tco_io_base + TCO_TMR, VAR_1);

}

static void FUNC_0(const TestData *VAR_0, uint16_t VAR_1)
{ qpci_io_writew(VAR_0->dev, VAR_0->tco_io_base + TCO_TMR, VAR_1); }