acpi_ut_put_number   34 drivers/acpi/acpica/utprint.c static char *acpi_ut_put_number(char *string, u64 number, u8 base, u8 upper);
acpi_ut_put_number  172 drivers/acpi/acpica/utprint.c 	pos1 = acpi_ut_put_number(ascii_string, number, 10, FALSE);
acpi_ut_put_number  254 drivers/acpi/acpica/utprint.c 	pos = acpi_ut_put_number(reversed_string, number, base, upper);