ef4_fini_io      2773 drivers/net/ethernet/sfc/falcon/efx.c 	ef4_fini_io(efx);
ef4_fini_io      2990 drivers/net/ethernet/sfc/falcon/efx.c 	ef4_fini_io(efx);