uint64_t ldq_tce(VIOsPAPRDevice *dev, uint64_t taddr)

{

    uint64_t val;



    spapr_tce_dma_read(dev, taddr, &val, sizeof(val));

    return tswap64(val);

}

uint64_t ldq_tce(VIOsPAPRDevice *dev, uint64_t taddr)

{

    uint64_t val;



    spapr_tce_dma_read(dev, taddr, &val, sizeof(val));

    return tswap64(val);

}

uint64_t ldq_tce(VIOsPAPRDevice *dev, uint64_t taddr)     uint64_t val;     spapr_tce_dma_read(dev, taddr, &val, sizeof(val));     return tswap64(val);
uint64_t FUNC_0(VIOsPAPRDevice *dev, uint64_t taddr)

{

    uint64_t val;



    spapr_tce_dma_read(dev, taddr, &val, sizeof(val));

    return tswap64(val);

}

uint64_t FUNC_0(VIOsPAPRDevice *dev, uint64_t taddr)
{ uint64_t val; spapr_tce_dma_read(dev, taddr, &val, sizeof(val)); return tswap64(val); }