acpi_enable (void) 
acpi_enable ( void) 
acpi_enable (void){	acpi_status                     status = AE_OK;	ACPI_FUNCTION_TRACE ("acpi_enable");	/* Make sure we have the FADT*/	if (!acpi_gbl_FADT) {		ACPI_DEBUG_PRINT ((ACPI_DB_WARN, "No FADT information present!\n"));		return_ACPI_STATUS (AE_NO_ACPI_TABLES);	}	if (acpi_hw_get_mode() == ACPI_SYS_MODE_ACPI) {		ACPI_DEBUG_PRINT ((ACPI_DB_INIT, "System is already in ACPI mode\n"));	}	else {		/* Transition to ACPI mode */		status = acpi_hw_set_mode (ACPI_SYS_MODE_ACPI);		if (ACPI_FAILURE (status)) {			ACPI_REPORT_ERROR (("Could not transition to ACPI mode.\n"));			return_ACPI_STATUS (status);		}		ACPI_DEBUG_PRINT ((ACPI_DB_INIT, "Transition to ACPI mode successful\n"));	}	return_ACPI_STATUS (status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/evxfevnt.c/buggy/drivers/acpi/events/evxfevnt.c