Symbol: efx_ef10_set_udp_tnl_ports