acpi_ut_copy_id_string (	char                            *destination,	char                            *source,	acpi_size                       max_length){	/*	 * Workaround for ID strings that have a leading asterisk. This construct	 * is not allowed by the ACPI specification  (ID strings must be	 * alphanumeric), but enough existing machines have this embedded in their	 * ID strings that the following code is useful.	 */	if (*source == '*') {		source++;	}	/* Do the actual copy */	ACPI_STRNCPY (destination, source, max_length);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/uteval.c/buggy/drivers/acpi/utilities/uteval.c