efx_fini_io      3359 drivers/net/ethernet/sfc/efx.c 	efx_fini_io(efx);
efx_fini_io      3626 drivers/net/ethernet/sfc/efx.c 	efx_fini_io(efx);