__efx_ef10_udp_tnl_lookup_port 6487 drivers/net/ethernet/sfc/ef10.c 	match = __efx_ef10_udp_tnl_lookup_port(efx, tnl.port);
__efx_ef10_udp_tnl_lookup_port 6544 drivers/net/ethernet/sfc/ef10.c 	return __efx_ef10_udp_tnl_lookup_port(efx, port) != NULL;
__efx_ef10_udp_tnl_lookup_port 6569 drivers/net/ethernet/sfc/ef10.c 	match = __efx_ef10_udp_tnl_lookup_port(efx, tnl.port);