81 	struct mic_device_desc dd;  member
86 	.dd = {
101 	struct mic_device_desc dd;  member
106 	.dd = {
133 	struct mic_device_desc dd;  member
138 	.dd = {
572 		virtnet_dev_page.dd.num_vq)) {  in virtio_net()
794 		virtcons_dev_page.dd.num_vq)) {  in virtio_console()
924 add_virtio_device(struct mic_info *mic, struct mic_device_desc *dd)  in add_virtio_device()  argument
936 	err = ioctl(fd, MIC_VIRTIO_ADD_DEVICE, dd);  in add_virtio_device()
938 		mpsslog("Could not add %d %s\n", dd->type, strerror(errno));  in add_virtio_device()
942 	switch (dd->type) {  in add_virtio_device()
1064 	add_virtio_device(mic, &virtblk_dev_page.dd);  in start_virtblk()
1067 				  virtblk_dev_page.dd.num_vq)) {  in start_virtblk()
1084 		MIC_DEVICE_PAGE_END + vr_size * virtblk_dev_page.dd.num_vq);  in stop_virtblk()
1679 		add_virtio_device(mic, &virtcons_dev_page.dd);  in init_mic()
1680 		add_virtio_device(mic, &virtnet_dev_page.dd);  in init_mic()