Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/ice/ice_sf_eth.c ice_sf_dev_probe() -> ice_devlink_destroy_sf_dev_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sf_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->idx | 0-767 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.attrs.flavour | 0-2,4-7 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.attrs.pci_sf.pf | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.attrs.pci_vf.pf | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.attrs.switch_id.id_len | 0-32 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.attrs_set | 1 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.devlink | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.devlink->_net.net->netns_ids.idr_rt.xa_head->count | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.devlink->_net.net->netns_ids.idr_rt.xa_head->nr_values | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.devlink->_net.net->netns_ids.idr_rt.xa_head->offset | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.devlink->_net.net->netns_ids.idr_rt.xa_head->shift | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.index | 0-u16max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.initialized | 1 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_del | 0,5297280653917495296,7056166776116604928 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_hw_addr_get | 0,1105552436811452416,2161372112124977152,2881830882648793088,3086837170211098624,5331084624549416960 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_hw_addr_set | 0,3534299544314576896,4238284642390831104,6293962769029922816,7613046309317726208,8690544359101091840 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_ipsec_crypto_get | 0,4902228933308452864 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_ipsec_crypto_set | 0,5372495510538301440 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_ipsec_packet_get | 0,1775539211769454592 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_ipsec_packet_set | 0,758161232406708224 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_max_io_eqs_get | 0,7025178205638221824 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_max_io_eqs_set | 0,8597896118109675520 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_migratable_get | 0,609373278646910976 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_migratable_set | 0,3871053410285416448 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_roce_get | 0,4455983247024910336 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_roce_set | 0,1612805619800064000 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_state_get | 0,6521951712662228992,7263765225596121088,7671851536357396480 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_fn_state_set | 0,784175470144167936,6855704840655306752,9130591050118823936 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_split | 0,5395478576842731520,5914476347301904384,7303769814657187840 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_type_set | 0,7366619749569720320 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.ops->port_unsplit | 0,958128192443506688,5601030920313925632,7070045751322910720 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.region_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.region_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.region_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.region_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.region_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.registered | 1 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.reporter_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.reporter_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.reporter_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.reporter_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.reporter_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.resource_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.resource_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.resource_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.resource_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.resource_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.type_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.type_warn_dw->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.type_warn_dw.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->priv->devlink_port.type_warn_dw.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *sf_dev->priv->devlink_port->devlink->_net.net->netns_ids.idr_rt.xa_head | (-4611686018427387904)-4611686018427387903 |
| DATA_SOURCE | 0 | sf_dev | r ice_adev_to_sf_dev |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &devlink->lock | ||
| TYPE_LOCK | (struct devlink)->lock |
drivers/net/ethernet/intel/ice/ice_sf_eth.c ice_sf_dev_remove() -> ice_devlink_destroy_sf_dev_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sf_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txc.dpll_state | 1-2 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txclk_notify_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txclk_notify_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txclk_notify_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txclk_notify_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->dplls.txclk_notify_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.next->prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->delayed_work_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->lock.owner | (-1) |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->__state | 0,512 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.pi_se->pi_se | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->sched_migrated | 1 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->task->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ov_work.work.worker->work_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.ps_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.tx_clk | 0-2 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->back->ptp.port.tx_clk_req | 0-2 |
| PARAM_VALUE | 0 | sf_dev->dyn_port->vsi->port_info->sched_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *sf_dev->dyn_port->vsi->netdev->name | 0-255 |
| DATA_SOURCE | 0 | sf_dev | r ice_adev_to_sf_dev |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &devlink->lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| TYPE_LOCK | (struct devlink)->lock |