index 6176c72a8a2d58b151a6bfe19d089eba0bc2dc0c..8dca8aa0638fb12a791916b7f55469bfba841bad 100644 (file)
*/
int hil_enable_vring_notifications(int vring_index, struct virtqueue *vq);
+/**
+ * hil_vdev_notify()
+ *
+ * This function generates IPI to let the other side know that there is
+ * change to virtio device configs.
+ *
+ * @param vdev - pointer to virtio device
+ *
+ */
+void hil_vdev_notify(struct virtio_device *vdev);
+
/**
* hil_vring_notify()
*