efx_ef10_vswitch_free  305 drivers/net/ethernet/sfc/ef10_sriov.c 	efx_ef10_vswitch_free(efx, EVB_PORT_ID_ASSIGNED);
efx_ef10_vswitch_free  373 drivers/net/ethernet/sfc/ef10_sriov.c 		efx_ef10_vswitch_free(efx, nic_data->vport_id);