ACPI_REPORT_WARNING (("FACS is shorter than the ACPI specification allows: 0x%X, using anyway\n", 
ACPI_REPORT_WARNING (( "FACS is shorter than the ACPI specification allows: 0x%X, using anyway\n", 
acpi_tb_build_common_facs (	struct acpi_table_desc          *table_info){	ACPI_FUNCTION_TRACE ("tb_build_common_facs");	/* Absolute minimum length is 24, but the ACPI spec says 64 */	if (acpi_gbl_FACS->length < 24) {		ACPI_REPORT_ERROR (("Invalid FACS table length: 0x%X\n", acpi_gbl_FACS->length));		return_ACPI_STATUS (AE_INVALID_TABLE_LENGTH);	}	if (acpi_gbl_FACS->length < 64) {		ACPI_REPORT_WARNING (("FACS is shorter than the ACPI specification allows: 0x%X, using anyway\n",			acpi_gbl_FACS->length));	}	/* Copy fields to the new FACS */	acpi_gbl_common_fACS.global_lock = &(acpi_gbl_FACS->global_lock);	if ((acpi_gbl_RSDP->revision < 2) ||		(acpi_gbl_FACS->length < 32) ||		(!(acpi_gbl_FACS->xfirmware_waking_vector))) {		/* ACPI 1.0 FACS or short table or optional X_ field is zero */		acpi_gbl_common_fACS.firmware_waking_vector = ACPI_CAST_PTR (u64, &(acpi_gbl_FACS->firmware_waking_vector));		acpi_gbl_common_fACS.vector_width = 32;	}	else {		/* ACPI 2.0 FACS with valid X_ field */		acpi_gbl_common_fACS.firmware_waking_vector = &acpi_gbl_FACS->xfirmware_waking_vector;		acpi_gbl_common_fACS.vector_width = 64;	}	return_ACPI_STATUS (AE_OK);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/tbconvrt.c/clean/drivers/acpi/tables/tbconvrt.c