sparx5_dsm_exb_gcd
return sparx5_dsm_exb_gcd(b, a % b);
gcd = sparx5_dsm_exb_gcd(gcd, data->taxi_speeds[jdx]);