acpi_ex_integer_to_string - Linux

Symbol: acpi_ex_integer_to_string

drivers/acpi/acpica/acinterp.h

void acpi_ex_integer_to_string(char *dest, u64 value);

drivers/acpi/acpica/utids.c

acpi_ex_integer_to_string(uid->string, obj_desc->integer.value);