acpi_ex_integer_to_string  476 drivers/acpi/acpica/acinterp.h void acpi_ex_integer_to_string(char *dest, u64 value);
acpi_ex_integer_to_string  156 drivers/acpi/acpica/utids.c 		acpi_ex_integer_to_string(uid->string, obj_desc->integer.value);