typebuf          6469 drivers/net/ethernet/sfc/ef10.c 	char typebuf[8];
typebuf          6477 drivers/net/ethernet/sfc/ef10.c 	efx_get_udp_tunnel_type_name(tnl.type, typebuf, sizeof(typebuf));
typebuf          6479 drivers/net/ethernet/sfc/ef10.c 		  typebuf, ntohs(tnl.port));
typebuf          6498 drivers/net/ethernet/sfc/ef10.c 					     typebuf, sizeof(typebuf));
typebuf          6501 drivers/net/ethernet/sfc/ef10.c 			  ntohs(tnl.port), typebuf);
typebuf          6516 drivers/net/ethernet/sfc/ef10.c 		  typebuf, ntohs(tnl.port));
typebuf          6552 drivers/net/ethernet/sfc/ef10.c 	char typebuf[8];
typebuf          6559 drivers/net/ethernet/sfc/ef10.c 	efx_get_udp_tunnel_type_name(tnl.type, typebuf, sizeof(typebuf));
typebuf          6561 drivers/net/ethernet/sfc/ef10.c 		  typebuf, ntohs(tnl.port));
typebuf          6584 drivers/net/ethernet/sfc/ef10.c 					     typebuf, sizeof(typebuf));
typebuf          6587 drivers/net/ethernet/sfc/ef10.c 			   ntohs(tnl.port), typebuf);