int			result; 
int			result = 0; 
static int __init acpi_ec_init (void){	int			result;	ACPI_FUNCTION_TRACE("acpi_ec_init");	if (acpi_disabled)		return_VALUE(0);	acpi_ec_dir = proc_mkdir(ACPI_EC_CLASS, acpi_root_dir);	if (!acpi_ec_dir)		return_VALUE(-ENODEV);	/* Now register the driver for the EC */	result = acpi_bus_register_driver(&acpi_ec_driver);	if (result < 0) {		remove_proc_entry(ACPI_EC_CLASS, acpi_root_dir);		return_VALUE(-ENODEV);	}	return_VALUE(result);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45bea1555f5bf0cd5871b208b4b02d188f106861/ec.c/buggy/drivers/acpi/ec.c