MLX5_MAX_IRQ_FORMATTED_NAME
snprintf(irq->name, MLX5_MAX_IRQ_FORMATTED_NAME,
char name[MLX5_MAX_IRQ_FORMATTED_NAME];