185 	s8 db = mvdev->dc->h2c_vdev_db;  in mic_notify()  local
187 	if (db != -1)  in mic_notify()
188 		mvdev->mdev->ops->send_intr(mvdev->mdev, db);  in mic_notify()
484 	s8 db = bootparam->h2c_config_db;  in mic_virtio_config_change()  local
490 	if (db == -1 || mvdev->dd->type == -1) {  in mic_virtio_config_change()
503 	mvdev->mdev->ops->send_intr(mvdev->mdev, db);  in mic_virtio_config_change()
625 	s8 db;  in mic_virtio_add_device()  local
725 	db = bootparam->h2c_config_db;  in mic_virtio_add_device()
726 	if (db != -1)  in mic_virtio_add_device()
727 		mdev->ops->send_intr(mdev, db);  in mic_virtio_add_device()
752 	s8 db;  in mic_virtio_del_device()  local
755 	db = bootparam->h2c_config_db;  in mic_virtio_del_device()
756 	if (db == -1)  in mic_virtio_del_device()
761 	mdev->ops->send_intr(mdev, db);  in mic_virtio_del_device()