if ((result) || (acpi_processor_power_verify(pr) < 2)) { 
if (result == -ENODEV) 
static int acpi_processor_get_power_info(struct acpi_processor *pr){	unsigned int i;	int result;	ACPI_FUNCTION_TRACE("acpi_processor_get_power_info");	/* NOTE: the idle thread may not be running while calling	 * this function */	result = acpi_processor_get_power_info_cst(pr);	if ((result) || (acpi_processor_power_verify(pr) < 2)) {		result = acpi_processor_get_power_info_fadt(pr);		if ((result) || (acpi_processor_power_verify(pr) < 2))			result = acpi_processor_get_power_info_default_c1(pr);	}	/*	 * Set Default Policy	 * ------------------	 * Now that we know which states are supported, set the default	 * policy.  Note that this policy can be changed dynamically	 * (e.g. encourage deeper sleeps to conserve battery life when	 * not on AC).	 */	result = acpi_processor_set_power_policy(pr);	if (result)		return_VALUE(result);	/*	 * if one state of type C2 or C3 is available, mark this	 * CPU as being "idle manageable"	 */	for (i = 1; i < ACPI_PROCESSOR_MAX_POWER; i++) {		if (pr->power.states[i].valid) {			pr->power.count = i;			if (pr->power.states[i].type >= ACPI_STATE_C2)				pr->flags.power = 1;		}	}	return_VALUE(0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6d93c64803a5fea84839789aae13290419c62d92/processor_idle.c/clean/drivers/acpi/processor_idle.c