acpi_db_uint32_to_hex_string
void acpi_db_uint32_to_hex_string(u32 value, char *buffer);
acpi_db_uint32_to_hex_string(info->num_created,
acpi_db_uint32_to_hex_string((u32)acpi_os_get_thread_id(),
acpi_db_uint32_to_hex_string(num_threads,