Symbol: mlx4_read_clock