3351 	struct platform_device_info pdevinfo;  in __dw_hdmi_probe()  local
3476 	memset(&pdevinfo, 0, sizeof(pdevinfo));  in __dw_hdmi_probe()
3477 	pdevinfo.parent = dev;  in __dw_hdmi_probe()
3478 	pdevinfo.id = PLATFORM_DEVID_AUTO;  in __dw_hdmi_probe()
3479 	pdevinfo.name = "dw-hdmi-qp-i2s-audio";  in __dw_hdmi_probe()
3480 	pdevinfo.data = &audio;  in __dw_hdmi_probe()
3481 	pdevinfo.size_data = sizeof(audio);  in __dw_hdmi_probe()
3482 	pdevinfo.dma_mask = DMA_BIT_MASK(32);  in __dw_hdmi_probe()
3483 	hdmi->audio = platform_device_register_full(&pdevinfo);  in __dw_hdmi_probe()
3532 		pdevinfo.name = "dw-hdmi-qp-cec";  in __dw_hdmi_probe()
3533 		pdevinfo.data = &cec;  in __dw_hdmi_probe()
3534 		pdevinfo.size_data = sizeof(cec);  in __dw_hdmi_probe()
3535 		pdevinfo.dma_mask = 0;  in __dw_hdmi_probe()
3536 		hdmi->cec = platform_device_register_full(&pdevinfo);  in __dw_hdmi_probe()