Symbol: mlx4_spec_list