ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Unknown Register ID: %X\n", register_id)); 
ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Unknown Register ID: %X\n", register_id)); 
acpi_hw_register_read (	u8                              use_lock,	u32                             register_id,	u32                             *return_value){	u32                             value1 = 0;	u32                             value2 = 0;	acpi_status                     status;	ACPI_FUNCTION_TRACE ("hw_register_read");	if (ACPI_MTX_LOCK == use_lock) {		status = acpi_ut_acquire_mutex (ACPI_MTX_HARDWARE);		if (ACPI_FAILURE (status)) {			return_ACPI_STATUS (status);		}	}	switch (register_id) {	case ACPI_REGISTER_PM1_STATUS:           /* 16-bit access */		status = acpi_hw_low_level_read (16, &value1, &acpi_gbl_FADT->xpm1a_evt_blk);		if (ACPI_FAILURE (status)) {			goto unlock_and_exit;		}		/* PM1B is optional */		status = acpi_hw_low_level_read (16, &value2, &acpi_gbl_FADT->xpm1b_evt_blk);		value1 |= value2;		break;	case ACPI_REGISTER_PM1_ENABLE:           /* 16-bit access */		status = acpi_hw_low_level_read (16, &value1, &acpi_gbl_xpm1a_enable);		if (ACPI_FAILURE (status)) {			goto unlock_and_exit;		}		/* PM1B is optional */		status = acpi_hw_low_level_read (16, &value2, &acpi_gbl_xpm1b_enable);		value1 |= value2;		break;	case ACPI_REGISTER_PM1_CONTROL:          /* 16-bit access */		status = acpi_hw_low_level_read (16, &value1, &acpi_gbl_FADT->xpm1a_cnt_blk);		if (ACPI_FAILURE (status)) {			goto unlock_and_exit;		}		status = acpi_hw_low_level_read (16, &value2, &acpi_gbl_FADT->xpm1b_cnt_blk);		value1 |= value2;		break;	case ACPI_REGISTER_PM2_CONTROL:          /* 8-bit access */		status = acpi_hw_low_level_read (8, &value1, &acpi_gbl_FADT->xpm2_cnt_blk);		break;	case ACPI_REGISTER_PM_TIMER:             /* 32-bit access */		status = acpi_hw_low_level_read (32, &value1, &acpi_gbl_FADT->xpm_tmr_blk);		break;	case ACPI_REGISTER_SMI_COMMAND_BLOCK:    /* 8-bit access */		status = acpi_os_read_port (acpi_gbl_FADT->smi_cmd, &value1, 8);		break;	default:		ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Unknown Register ID: %X\n", register_id));		status = AE_BAD_PARAMETER;		break;	}unlock_and_exit:	if (ACPI_MTX_LOCK == use_lock) {		(void) acpi_ut_release_mutex (ACPI_MTX_HARDWARE);	}	if (ACPI_SUCCESS (status)) {		*return_value = value1;	}	return_ACPI_STATUS (status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/hwregs.c/buggy/drivers/acpi/hardware/hwregs.c