bad_name          240 drivers/acpi/acpica/uterror.c 	u32 bad_name;
bad_name          250 drivers/acpi/acpica/uterror.c 		ACPI_MOVE_32_TO_32(&bad_name,
bad_name          252 drivers/acpi/acpica/uterror.c 		acpi_os_printf("[0x%.8X] (NON-ASCII)", bad_name);