if (IS_ERR(pdev = platform_device_register_simple("tpm_atmel", -1, NULL, 0 ))) { 
if (IS_ERR (pdev = platform_device_register_simple("tpm_atmel", -1, NULL, 0))) { 
static int __init init_atmel(void){	int rc = 0;	driver_register(&atml_drv);	if (atmel_get_base_addr(&tpm_atmel) != 0) {		rc = -ENODEV;		goto err_unreg_drv;	}	tpm_atmel.have_region = (atmel_request_region( tpm_atmel.base, tpm_atmel.region_size, "tpm_atmel0") == NULL) ? 0 : 1;	if (IS_ERR(pdev = platform_device_register_simple("tpm_atmel", -1, NULL, 0 ))) {		rc = PTR_ERR(pdev);		goto err_rel_reg;	}	if ((rc = tpm_register_hardware(&pdev->dev, &tpm_atmel)) < 0)		goto err_unreg_dev;	return 0;err_unreg_dev:	platform_device_unregister(pdev);err_rel_reg:	if (tpm_atmel.have_region)		atmel_release_region(tpm_atmel.base, tpm_atmel.region_size);	atmel_put_base_addr(&tpm_atmel);err_unreg_drv:	driver_unregister(&atml_drv);	return rc;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/90612b308f2a2cc8aa08fbaf6f7184f5b7b5a855/tpm_atmel.c/buggy/drivers/char/tpm/tpm_atmel.c