 /* * Buggy BIOS check * ACPI id of processors can be reported wrongly by the BIOS. * Don't trust it blindly */ if (processor_device_array[pr->id] != NULL && processor_device_array[pr->id] != (void *)device) { ACPI_DEBUG_PRINT((ACPI_DB_ERROR, "BIOS reporting wrong ACPI id" "for the processor\n")); return_VALUE(-ENODEV); } processor_device_array[pr->id] = (void *)device; 
static int acpi_processor_start(struct acpi_device *device){	int result = 0;	acpi_status status = AE_OK;	struct acpi_processor *pr;	ACPI_FUNCTION_TRACE("acpi_processor_start");	pr = acpi_driver_data(device);	result = acpi_processor_get_info(pr);	if (result) {		/* Processor is physically not present */		return_VALUE(0);	}	BUG_ON((pr->id >= NR_CPUS) || (pr->id < 0));	processors[pr->id] = pr;	result = acpi_processor_add_fs(device);	if (result)		goto end;	status = acpi_install_notify_handler(pr->handle, ACPI_DEVICE_NOTIFY,					     acpi_processor_notify, pr);	if (ACPI_FAILURE(status)) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR,				  "Error installing device notify handler\n"));	}	acpi_processor_power_init(pr, device);	if (pr->flags.throttling) {		printk(KERN_INFO PREFIX "%s [%s] (supports",		       acpi_device_name(device), acpi_device_bid(device));		printk(" %d throttling states", pr->throttling.state_count);		printk(")\n");	}      end:	return_VALUE(result);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cd8e2b48daee891011a4f21e2c62b210d24dcc9e/processor_core.c/buggy/drivers/acpi/processor_core.c