void stb_tce(VIOsPAPRDevice *dev, uint64_t taddr, uint8_t val)

{

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

}

void stb_tce(VIOsPAPRDevice *dev, uint64_t taddr, uint8_t val)

{

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

}

void stb_tce(VIOsPAPRDevice *dev, uint64_t taddr, uint8_t val)     spapr_tce_dma_write(dev, taddr, &val, sizeof(val));     spapr_tce_dma_write(dev, taddr, &val, sizeof(val));     spapr_tce_dma_write(dev, taddr, &val, sizeof(val));     spapr_tce_dma_write(dev, taddr, &val, sizeof(val));
void FUNC_0(VIOsPAPRDevice *VAR_0, uint64_t VAR_1, uint8_t VAR_2)

{

    spapr_tce_dma_write(VAR_0, VAR_1, &VAR_2, sizeof(VAR_2));

}

void FUNC_0(VIOsPAPRDevice *VAR_0, uint64_t VAR_1, uint8_t VAR_2)
{ spapr_tce_dma_write(VAR_0, VAR_1, &VAR_2, sizeof(VAR_2)); }