int vhost_backend_invalidate_device_iotlb(struct vhost_dev *dev,

                                                 uint64_t iova, uint64_t len)

{

    struct vhost_iotlb_msg imsg;



    imsg.iova = iova;

    imsg.size = len;

    imsg.type = VHOST_IOTLB_INVALIDATE;



    return dev->vhost_ops->vhost_send_device_iotlb_msg(dev, &imsg);

}

int vhost_backend_invalidate_device_iotlb(struct vhost_dev *dev,

                                                 uint64_t iova, uint64_t len)

{

    struct vhost_iotlb_msg imsg;



    imsg.iova = iova;

    imsg.size = len;

    imsg.type = VHOST_IOTLB_INVALIDATE;



    return dev->vhost_ops->vhost_send_device_iotlb_msg(dev, &imsg);

}

    return dev->vhost_ops->vhost_send_device_iotlb_msg(dev, &imsg);     return dev->vhost_ops->vhost_send_device_iotlb_msg(dev, &imsg);
int FUNC_0(struct vhost_dev *VAR_0,

                                                 uint64_t VAR_1, uint64_t VAR_2)

{

    struct vhost_iotlb_msg VAR_3;



    VAR_3.VAR_1 = VAR_1;

    VAR_3.size = VAR_2;

    VAR_3.type = VHOST_IOTLB_INVALIDATE;



    return VAR_0->vhost_ops->vhost_send_device_iotlb_msg(VAR_0, &VAR_3);

}

int FUNC_0(struct vhost_dev *VAR_0,
uint64_t VAR_1, uint64_t VAR_2)
{ struct vhost_iotlb_msg VAR_3; VAR_3.VAR_1 = VAR_1; VAR_3.size = VAR_2; VAR_3.type = VHOST_IOTLB_INVALIDATE; return VAR_0->vhost_ops->vhost_send_device_iotlb_msg(VAR_0, &VAR_3); }