Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/efx_devlink.c ef100_set_devlink_port() -> efx_devlink_add_port()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->mae 4096-ptr_max
PARAM_VALUE 0 efx->mae->mports_ht.p.hashfn 4096-ptr_max
PARAM_VALUE 0 efx->mae->mports_ht.tbl 4096-ptr_max
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi->iface.proxy_rx_status (-114),(-105),(-98),(-95),(-71),(-62),(-38),(-35),(-28),(-22),(-16),(-13),(-11),(-4),(-2)-0
PARAM_VALUE 0 efx->mcdi->iface.resp_data_len 0-u32max
PARAM_VALUE 0 efx->mcdi->iface.resprc (-114),(-105),(-98),(-95),(-71),(-62),(-38),(-35),(-28),(-22),(-16),(-13),(-11),(-5)-(-4),(-2)-0
PARAM_VALUE 0 efx->net_dev->netdev_ops->ndo_validate_addr 0,4342228606772805632,8026438956919775232
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->min_interrupt_mode 0,2
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->rss_context.rx_indir_table 0-4294967295
PARAM_VALUE 1 mport 1-u64max
BUF_SIZE 0 efx s32min-(-2),1-s32max
BUF_SIZE 0 efx s32min-(-2),1-s32max
CAPPED_DATA 0 efx 1
CAPPED_DATA 0 efx->nic_data->local_mae_intf 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 mport r efx_mae_get_mport
NOSPEC 0 efx->vf_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 efx->vf_count 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 efx->tc->meta_ct.desc.n_keys
NO_OVERFLOW_SIMPLE 0 efx->tc->meta_ct.desc.n_resps
NO_OVERFLOW_SIMPLE 0 efx->vf_count
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &pci_rescan_remove_lock