void vty_putchars(VIOsPAPRDevice *sdev, uint8_t *buf, int len)

{

    VIOsPAPRVTYDevice *dev = VIO_SPAPR_VTY_DEVICE(sdev);



    /* FIXME: should check the qemu_chr_fe_write() return value */

    qemu_chr_fe_write(dev->chardev, buf, len);

}

void vty_putchars(VIOsPAPRDevice *sdev, uint8_t *buf, int len)

{

    VIOsPAPRVTYDevice *dev = VIO_SPAPR_VTY_DEVICE(sdev);



    

    qemu_chr_fe_write(dev->chardev, buf, len);

}

    qemu_chr_fe_write(dev->chardev, buf, len);
void FUNC_0(VIOsPAPRDevice *VAR_0, uint8_t *VAR_1, int VAR_2)

{

    VIOsPAPRVTYDevice *dev = VIO_SPAPR_VTY_DEVICE(VAR_0);



    

    qemu_chr_fe_write(dev->chardev, VAR_1, VAR_2);

}

void FUNC_0(VIOsPAPRDevice *VAR_0, uint8_t *VAR_1, int VAR_2)
{ VIOsPAPRVTYDevice *dev = VIO_SPAPR_VTY_DEVICE(VAR_0); qemu_chr_fe_write(dev->chardev, VAR_1, VAR_2); }