/* Create a platform device for the GPI port that receives the image data from the embedded camera.  */
static int __init mipsnet_devinit(void)
/* Create a platform device for the GPI port that receives the image data from the embedded camera.  */
static int __init mipsnet_devinit(void)
{
	int err;
	err = platform_device_register(&eth1_device);
	if (err)
		printk(KERN_ERR "%s: registration failed\n", mipsnet_string);
	return err;
}