Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100_rep.c efx_ef100_vfrep_create() -> efx_ef100_rep_destroy_netdev()

Type Parameter Key Value
PARAM_VALUE 0 efv 4096-ptr_max
PARAM_VALUE 0 efv->dflt.acts.fw_id u32max
PARAM_VALUE 0 efv->dflt.fw_id u32max
PARAM_VALUE 0 efv->dflt.match.encap->pseudo->fw_id u32max
PARAM_VALUE 0 efv->dl_port 0,4096-ptr_max
PARAM_VALUE 0 efv->dl_port->attrs.flavour 3-4
PARAM_VALUE 0 efv->dl_port->attrs.pci_vf.controller 0-65536
PARAM_VALUE 0 efv->dl_port->attrs.switch_id.id_len 0-32
PARAM_VALUE 0 efv->dl_port->attrs_set 1
PARAM_VALUE 0 efv->dl_port->devlink 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->devlink->_net.net->netns_ids.idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 efv->dl_port->devlink->ports.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->dl_port->initialized 1
PARAM_VALUE 0 efv->dl_port->ops 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->region_list.next 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->region_list.prev 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->registered 0
PARAM_VALUE 0 efv->dl_port->reporter_list.next 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->reporter_list.prev 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->resource_list.next 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->resource_list.prev 4096-ptr_max
PARAM_VALUE 0 efv->dl_port->type_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->dl_port->type_warn_dw.work.lockdep_map->name 0-255
PARAM_VALUE 0 efv->idx 0-65534
PARAM_VALUE 0 efv->list.next 4096-ptr_max
PARAM_VALUE 0 efv->msg_enable 8439
PARAM_VALUE 0 efv->net_dev 4096-ptr_max
PARAM_VALUE 0 efv->parent 4096-ptr_max
PARAM_VALUE 0 efv->parent->devlink->ports.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->parent->mae 4096-ptr_max
PARAM_VALUE 0 efv->parent->mae->mports_ht.tbl 4096-ptr_max
PARAM_VALUE 0 efv->parent->nic_data 4096-ptr_max
PARAM_VALUE 0 efv->parent->pci_dev 4096-ptr_max
PARAM_VALUE 0 efv->parent->reset_work.entry.next 4096-ptr_max
PARAM_VALUE 0 efv->parent->type 4096-ptr_max
PARAM_VALUE 0 efv->parent->vf_count 1-u16max
PARAM_VALUE 0 efv->rx_pring_size 64
PARAM_VALUE 0 *efv->parent->net_dev->name 0-255
BUF_SIZE 0 efv->parent s32min-(-2),1-s32max
CAPPED_DATA 0 efv->idx 1
CAPPED_DATA 0 efv->parent->vf_count 1
DATA_SOURCE 0 efv r efx_ef100_rep_create_netdev
NOSPEC 0 efv->parent->vf_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 efv->parent->vf_count 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 efv->idx
NO_OVERFLOW_SIMPLE 0 efv->parent->vf_count
LOCK2 &dev->dev.mutex
LOCK2 &of->mutex
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/net/ethernet/sfc/ef100_rep.c efx_ef100_vfrep_destroy() -> efx_ef100_rep_destroy_netdev()

Type Parameter Key Value
PARAM_VALUE 0 efv 4096-ptr_max
PARAM_VALUE 0 efv->dflt.acts.fw_id u32max
PARAM_VALUE 0 efv->dflt.fw_id u32max
PARAM_VALUE 0 efv->dflt.match.encap->pseudo->fw_id u32max
PARAM_VALUE 0 efv->dl_port 0,4096-ptr_max
PARAM_VALUE 0 efv->dl_port->devlink->_net.net->netns_ids.idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 efv->dl_port->devlink->ports.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->dl_port->registered 0
PARAM_VALUE 0 efv->dl_port->type_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->dl_port->type_warn_dw.work.lockdep_map->name 0-255
PARAM_VALUE 0 efv->net_dev 4096-ptr_max
PARAM_VALUE 0 efv->net_dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 efv->net_dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efv->net_dev->nd_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 efv->net_dev->nd_net.net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 efv->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efv->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efv->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 efv->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 efv->parent->reset_work.entry.next 4096-ptr_max
PARAM_VALUE 0 *efv->parent->net_dev->name 0-255
DATA_SOURCE 0 efv $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_rescan_remove_lock