void virtio_config_writel(VirtIODevice *vdev, uint32_t addr, uint32_t data)

{

    VirtioDeviceClass *k = VIRTIO_DEVICE_GET_CLASS(vdev);

    uint32_t val = data;



    if (addr > (vdev->config_len - sizeof(val)))

        return;



    stl_p(vdev->config + addr, val);



    if (k->set_config) {

        k->set_config(vdev, vdev->config);

    }

}

void virtio_config_writel(VirtIODevice *vdev, uint32_t addr, uint32_t data)

{

    VirtioDeviceClass *k = VIRTIO_DEVICE_GET_CLASS(vdev);

    uint32_t val = data;



    if (addr > (vdev->config_len - sizeof(val)))

        return;



    stl_p(vdev->config + addr, val);



    if (k->set_config) {

        k->set_config(vdev, vdev->config);

    }

}

    if (addr > (vdev->config_len - sizeof(val)))     if (addr > (vdev->config_len - sizeof(val)))     if (addr > (vdev->config_len - sizeof(val)))     if (addr > (vdev->config_len - sizeof(val)))     if (addr > (vdev->config_len - sizeof(val)))     if (addr > (vdev->config_len - sizeof(val)))
void FUNC_0(VirtIODevice *VAR_0, uint32_t VAR_1, uint32_t VAR_2)

{

    VirtioDeviceClass *k = VIRTIO_DEVICE_GET_CLASS(VAR_0);

    uint32_t val = VAR_2;



    if (VAR_1 > (VAR_0->config_len - sizeof(val)))

        return;



    stl_p(VAR_0->config + VAR_1, val);



    if (k->set_config) {

        k->set_config(VAR_0, VAR_0->config);

    }

}

void FUNC_0(VirtIODevice *VAR_0, uint32_t VAR_1, uint32_t VAR_2)
{ VirtioDeviceClass *k = VIRTIO_DEVICE_GET_CLASS(VAR_0); uint32_t val = VAR_2; if (VAR_1 > (VAR_0->config_len - sizeof(val)))
return; stl_p(VAR_0->config + VAR_1, val); if (k->set_config) { k->set_config(VAR_0, VAR_0->config); } }