efx_ef10_ev_fini 3385 drivers/net/ethernet/sfc/ef10.c 	efx_ef10_ev_fini(channel);
efx_ef10_ev_fini 6657 drivers/net/ethernet/sfc/ef10.c 	.ev_fini = efx_ef10_ev_fini,
efx_ef10_ev_fini 6769 drivers/net/ethernet/sfc/ef10.c 	.ev_fini = efx_ef10_ev_fini,