static void stop_tco(const TestData *d)

{

    uint32_t val;



    val = qpci_io_readw(d->dev, d->tco_io_base + TCO1_CNT);

    val |= TCO_TMR_HLT;

    qpci_io_writew(d->dev, d->tco_io_base + TCO1_CNT, val);

}

static void stop_tco(const TestData *d)

{

    uint32_t val;



    val = qpci_io_readw(d->dev, d->tco_io_base + TCO1_CNT);

    val |= TCO_TMR_HLT;

    qpci_io_writew(d->dev, d->tco_io_base + TCO1_CNT, val);

}

    val = qpci_io_readw(d->dev, d->tco_io_base + TCO1_CNT);     qpci_io_writew(d->dev, d->tco_io_base + TCO1_CNT, val);     val = qpci_io_readw(d->dev, d->tco_io_base + TCO1_CNT);     qpci_io_writew(d->dev, d->tco_io_base + TCO1_CNT, val);
static void FUNC_0(const TestData *VAR_0)

{

    uint32_t val;



    val = qpci_io_readw(VAR_0->dev, VAR_0->tco_io_base + TCO1_CNT);

    val |= TCO_TMR_HLT;

    qpci_io_writew(VAR_0->dev, VAR_0->tco_io_base + TCO1_CNT, val);

}

static void FUNC_0(const TestData *VAR_0)
{ uint32_t val; val = qpci_io_readw(VAR_0->dev, VAR_0->tco_io_base + TCO1_CNT); val |= TCO_TMR_HLT; qpci_io_writew(VAR_0->dev, VAR_0->tco_io_base + TCO1_CNT, val); }