jazz_sonic_device = NULL; 
jazz_sonic_device = platform_device_alloc(jazz_sonic_string, 0); if (!jazz_sonnic_device) goto out_unregister; 
static int __init jazz_sonic_init_module(void){	struct platform_device *pldev;	int err;	if ((err = driver_register(&jazz_sonic_driver))) {		printk(KERN_ERR "Driver registration failed\n");		return err;	}	jazz_sonic_device = NULL;	if (!(pldev = kmalloc (sizeof (*pldev), GFP_KERNEL))) {		goto out_unregister;	}	memset(pldev, 0, sizeof (*pldev));	pldev->name		= jazz_sonic_string;	pldev->id		= 0;	pldev->dev.release	= jazz_sonic_platform_release;	jazz_sonic_device	= pldev;	if (platform_device_register (pldev)) {		kfree(pldev);		jazz_sonic_device = NULL;	}	return 0;out_unregister:	platform_device_unregister(pldev);	return -ENOMEM;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/95cb5d954ee656a0b048ea2298188569e0759336/jazzsonic.c/buggy/drivers/net/jazzsonic.c