efx_fini_devlink_and_unlock identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/sfc/efx_devlink.h, line 37 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/sfc/efx_devlink.c, line 708 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/efx.c efx_pci_remove() -> efx_fini_devlink_and_unlock()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->biu_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	efx->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->devlink->lock.osq.tail.counter	0-s32max
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->filter_state	0
PARAM_VALUE	0	efx->filter_state->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	efx->filter_state->lock.dep_map->name	0-255
PARAM_VALUE	0	efx->filter_state->lock.first_waiter->handoff_set	1
PARAM_VALUE	0	efx->filter_state->lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	efx->filter_state->lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	efx->filter_state->lock.first_waiter->type	0-1
PARAM_VALUE	0	efx->filter_state->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	efx->irq_soft_enabled	0
PARAM_VALUE	0	efx->irq_status.addr	0
PARAM_VALUE	0	efx->irqs_hooked	0
PARAM_VALUE	0	efx->legacy_irq	0
PARAM_VALUE	0	efx->link_state.up	0
PARAM_VALUE	0	efx->mcdi	0,4096-ptr_max
PARAM_VALUE	0	efx->mem_bar	u32max
PARAM_VALUE	0	efx->membase	0
PARAM_VALUE	0	efx->membase_phys	0
PARAM_VALUE	0	efx->net_dev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->close_list.next	7608961968850681856
PARAM_VALUE	0	efx->net_dev->close_list.prev	7608961968850681856
PARAM_VALUE	0	efx->net_dev->ethtool_ops->rxfh_max_num_contexts	0,2,8,16,33
PARAM_VALUE	0	efx->net_dev->ethtool_ops->supported_input_xfrm	0-2
PARAM_VALUE	0	efx->net_dev->ethtool_ops->supported_ring_params	0,3,5,12,20,32-33,96
PARAM_VALUE	0	efx->net_dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->refcnt_tracker.list.next->prev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->rtnl_link_ops->priv_size	0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE	0	efx->net_dev->rx_cpu_rmap	0
PARAM_VALUE	0	efx->net_dev->stat_ops->get_base_stats	390,4096-ptr_max
PARAM_VALUE	0	efx->net_dev->stat_ops->get_queue_stats_rx	3221,4096-ptr_max
PARAM_VALUE	0	efx->net_dev->stat_ops->get_queue_stats_tx	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->watchdog_dev_tracker	0,4096-ptr_max
PARAM_VALUE	0	efx->net_dev->watchdog_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->watchdog_ref_held	1
PARAM_VALUE	0	efx->net_dev->watchdog_timeo	1-s32max
PARAM_VALUE	0	efx->net_dev->watchdog_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->watchdog_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	efx->nic_data	0
PARAM_VALUE	0	efx->pci_dev	4096-ptr_max
PARAM_VALUE	0	efx->pci_dev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0,4096-s64max
PARAM_VALUE	0	efx->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	efx->pci_dev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->pci_dev->is_busmaster	0
PARAM_VALUE	0	efx->pci_dev->is_virtfn	0
PARAM_VALUE	0	efx->pci_dev->link_bwctrl->cdev	(-22),(-19),(-12),0,4096-s64max
PARAM_VALUE	0	efx->pci_dev->msix_base	0
PARAM_VALUE	0	efx->phy_data	0
PARAM_VALUE	0	efx->port_initialized	0
PARAM_VALUE	0	efx->primary	0
PARAM_VALUE	0	efx->ptp_data	0
PARAM_VALUE	0	efx->reset_work.entry.next	4096-ptr_max
PARAM_VALUE	0	efx->reset_work.lockdep_map->name	0-255
PARAM_VALUE	0	efx->stats_buffer.addr	0
PARAM_VALUE	0	efx->stats_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->tc->reps_filter_mc	(-1)
PARAM_VALUE	0	efx->tc->reps_filter_uc	(-1)
PARAM_VALUE	0	efx->type	4096-ptr_max
PARAM_VALUE	0	efx->type->filter_table_remove	4096-ptr_max
PARAM_VALUE	0	efx->type->fini	4096-ptr_max
PARAM_VALUE	0	efx->type->irq_disable_non_ev	4096-ptr_max
PARAM_VALUE	0	efx->type->remove	4096-ptr_max
PARAM_VALUE	0	efx->type->remove_port	4096-ptr_max
PARAM_VALUE	0	efx->type->sriov_fini	0,5037747862072217600,6773871555232239616
PARAM_VALUE	0	efx->type->vswitching_remove	4096-ptr_max
PARAM_VALUE	0	efx->xdp_prog	0
PARAM_VALUE	0	*efx->net_dev->name	0-255
PARAM_VALUE	0	*efx->nic_data->wc_membase	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*efx->ptp_data->pps_workwq->lockdep_map->name	0-255
PARAM_VALUE	0	*efx->ptp_data->pps_workwq->rescuer->task->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*efx->ptp_data->pps_workwq->rescuer->task->pi_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*efx->ptp_data->workwq->lockdep_map->name	0-255
PARAM_VALUE	0	*efx->ptp_data->workwq->rescuer->task->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*efx->ptp_data->workwq->rescuer->task->pi_lock.owner	(-4611686018427387904)-4611686018427387903
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->mcdi	1
CAPPED_DATA	0	efx->pci_dev->dev.cma_area->nranges	1
CAPPED_DATA	0	efx->xdp_tx_queues	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	efx->pci_dev->sriov->offset	0
HOST_DATA	0	efx->pci_dev->sriov->stride	0
UNITS	0	efx	unit_byte

drivers/net/ethernet/sfc/ef100_netdev.c ef100_remove_netdev() -> efx_fini_devlink_and_unlock()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	efx->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	efx->dl_port	0,4096-ptr_max
PARAM_VALUE	0	efx->dl_port->devlink->_net.net->netns_ids.idr_rt.xa_flags	0-4294967295
PARAM_VALUE	0	efx->dl_port->devlink->ports.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->dl_port->registered	0
PARAM_VALUE	0	efx->dl_port->type_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->dl_port->type_warn_dw.work.lockdep_map->name	0-255
PARAM_VALUE	0	efx->filter_sem.dep_map->name	0-255
PARAM_VALUE	0	efx->filter_sem.first_waiter->handoff_set	1
PARAM_VALUE	0	efx->filter_sem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	efx->filter_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	efx->filter_sem.first_waiter->type	0-1
PARAM_VALUE	0	efx->filter_sem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->filter_sem.wait_lock.owner	(-1)
PARAM_VALUE	0	efx->filter_sem.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	efx->filter_state	0
PARAM_VALUE	0	efx->net_dev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->close_list.next	7608961968850681856
PARAM_VALUE	0	efx->net_dev->close_list.prev	7608961968850681856
PARAM_VALUE	0	efx->net_dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->nd_net.net->notrefcnt_tracker.dead	1
PARAM_VALUE	0	efx->net_dev->nd_net.net->rtnl_mutex.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->net_dev->netdev_ops	4096-ptr_max
PARAM_VALUE	0	efx->pci_dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	efx->phy_data	0
PARAM_VALUE	0	efx->tc	0,4096-ptr_max
PARAM_VALUE	0	efx->tc->dflt.pf.acts.fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.pf.fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.pf.match.encap->fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.pf.match.encap->pseudo->fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.wire.acts.fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.wire.fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.wire.match.encap->fw_id	u32max
PARAM_VALUE	0	efx->tc->dflt.wire.match.encap->pseudo->fw_id	u32max
PARAM_VALUE	0	efx->tc->encap_match_ht.tbl->dep_map->name	0-255
PARAM_VALUE	0	efx->tc->facts.pf.fw_id	u32max
PARAM_VALUE	0	efx->tc->facts.reps.fw_id	u32max
PARAM_VALUE	0	efx->tc->meta_ct.desc.flags	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.key_width	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.keys	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.n_keys	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.n_prios	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.n_resps	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.resp_width	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.resps	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.scheme	0
PARAM_VALUE	0	efx->tc->meta_ct.desc.type	0
PARAM_VALUE	0	efx->tc->meta_ct.hooked	0
PARAM_VALUE	0	efx->tc->recirc_ht.tbl->dep_map->name	0-255
PARAM_VALUE	0	efx->tc->reps_mport_id	0
PARAM_VALUE	0	efx->tc->up	0
PARAM_VALUE	0	efx->type	4096-ptr_max
PARAM_VALUE	0	*efx->channel	0
PARAM_VALUE	0	*efx->net_dev->name	0-255
BUF_SIZE	0	efx	5888
CAPPED_DATA	0	efx	1
CAPPED_DATA	0	&efx->filter_sem	1
CAPPED_DATA	0	&efx->netdev_notifier	1
CAPPED_DATA	0	&efx->netevent_notifier	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	efx->pci_dev->sriov->offset	0
HOST_DATA	0	efx->pci_dev->sriov->stride	0
HALF_LOCKED2		&dev->mutex