ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "A FADT is not loaded\n")); 
ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "No FADT is present\n")); 
acpi_hw_initialize (	void){	acpi_status                     status;	ACPI_FUNCTION_TRACE ("hw_initialize");	/* We must have the ACPI tables by the time we get here */	if (!acpi_gbl_FADT) {		ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "A FADT is not loaded\n"));		return_ACPI_STATUS (AE_NO_ACPI_TABLES);	}	/* Sanity check the FADT for valid values */	status = acpi_ut_validate_fadt ();	if (ACPI_FAILURE (status)) {		return_ACPI_STATUS (status);	}	return_ACPI_STATUS (AE_OK);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/hwacpi.c/buggy/drivers/acpi/hardware/hwacpi.c