/* Returns a register name based on its address.  */
static const gchar* get_register_name_from_address(guint32 addr, gboolean *is_custom_register)
/* Returns a register name based on its address.  */
static const gchar* get_register_name_from_address(guint32 addr, gboolean *is_custom_register)
{
	const gchar* address_string = NULL;
	if (is_custom_register != NULL)
	{
		*is_custom_register = FALSE;
	}
	address_string = try_val_to_str(addr, bootstrapregisternames);
	if (!address_string)
	{
		address_string = wmem_strdup_printf(wmem_packet_scope(),"[Addr:0x%08X]", addr);
		if (is_custom_register != NULL)
		{
			*is_custom_register = TRUE;
		}
	}
	return address_string;
}