acpi_db_uint32_to_hex_string  282 drivers/acpi/acpica/acdebug.h void acpi_db_uint32_to_hex_string(u32 value, char *buffer);
acpi_db_uint32_to_hex_string  506 drivers/acpi/acpica/dbexec.c 		acpi_db_uint32_to_hex_string(info->num_created,
acpi_db_uint32_to_hex_string  508 drivers/acpi/acpica/dbexec.c 		acpi_db_uint32_to_hex_string((u32)acpi_os_get_thread_id(),
acpi_db_uint32_to_hex_string  802 drivers/acpi/acpica/dbexec.c 	acpi_db_uint32_to_hex_string(num_threads,