/* Create a platform device for the GPI port that receives the image data from the embedded camera.  */
static int __init sgiwd93_devinit(void)
/* Create a platform device for the GPI port that receives the image data from the embedded camera.  */
static int __init sgiwd93_devinit(void)
{
	int res;
	sgiwd93_0_pd.hregs	= &hpc3c0->scsi_chan0;
	sgiwd93_0_pd.wdregs	= (unsigned char *) hpc3c0->scsi0_ext;
	res = platform_device_register(&sgiwd93_0_device);
	if (res)
		return res;
	if (!ip22_is_fullhouse())
		return 0;
	sgiwd93_1_pd.hregs	= &hpc3c0->scsi_chan1;
	sgiwd93_1_pd.wdregs	= (unsigned char *) hpc3c0->scsi1_ext;
	return platform_device_register(&sgiwd93_1_device);
}