efx_mcdi_port_get_number  759 drivers/net/ethernet/sfc/ef10.c 	rc = efx_mcdi_port_get_number(efx);
efx_mcdi_port_get_number  349 drivers/net/ethernet/sfc/mcdi.h int efx_mcdi_port_get_number(struct efx_nic *efx);