184 	s8 db = mvdev->dc->h2c_vdev_db;  in mic_notify()  local
186 	if (db != -1)  in mic_notify()
187 		mvdev->mdev->ops->send_intr(mvdev->mdev, db);  in mic_notify()
483 	s8 db = bootparam->h2c_config_db;  in mic_virtio_config_change()  local
489 	if (db == -1 || mvdev->dd->type == -1) {  in mic_virtio_config_change()
502 	mvdev->mdev->ops->send_intr(mvdev->mdev, db);  in mic_virtio_config_change()
624 	s8 db;  in mic_virtio_add_device()  local
724 	db = bootparam->h2c_config_db;  in mic_virtio_add_device()
725 	if (db != -1)  in mic_virtio_add_device()
726 		mdev->ops->send_intr(mdev, db);  in mic_virtio_add_device()
751 	s8 db;  in mic_virtio_del_device()  local
754 	db = bootparam->h2c_config_db;  in mic_virtio_del_device()
755 	if (db == -1)  in mic_virtio_del_device()
760 	mdev->ops->send_intr(mdev, db);  in mic_virtio_del_device()