81 	struct mic_device_desc dd;  member
86 	.dd = {
101 	struct mic_device_desc dd;  member
106 	.dd = {
134 	struct mic_device_desc dd;  member
139 	.dd = {
556 		virtnet_dev_page.dd.num_vq)) {  in virtio_net()
771 		virtcons_dev_page.dd.num_vq)) {  in virtio_console()
895 add_virtio_device(struct mic_info *mic, struct mic_device_desc *dd)  in add_virtio_device()  argument
907 	err = ioctl(fd, MIC_VIRTIO_ADD_DEVICE, dd);  in add_virtio_device()
909 		mpsslog("Could not add %d %s\n", dd->type, strerror(errno));  in add_virtio_device()
913 	switch (dd->type) {  in add_virtio_device()
1035 	add_virtio_device(mic, &virtblk_dev_page.dd);  in start_virtblk()
1038 				  virtblk_dev_page.dd.num_vq)) {  in start_virtblk()
1054 		MIC_DEVICE_PAGE_END + vr_size * virtblk_dev_page.dd.num_vq);  in stop_virtblk()
1586 		add_virtio_device(mic, &virtcons_dev_page.dd);  in init_mic()
1587 		add_virtio_device(mic, &virtnet_dev_page.dd);  in init_mic()