acpi_ut_put_number
pos1 = acpi_ut_put_number(ascii_string, number, 10, FALSE);
pos = acpi_ut_put_number(reversed_string, number, base, upper);
static char *acpi_ut_put_number(char *string, u64 number, u8 base, u8 upper);