Symbol: mlx5_clock_getmaxphase