Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/pensando/ionic/ionic_lif.c ionic_lif_deinit() -> ionic_lif_reset()

Type Parameter Key Value
PARAM_VALUE 0 lif 4096-ptr_max
PARAM_VALUE 0 lif->adminqcq 4096-ptr_max
PARAM_VALUE 0 lif->adminqcq->napi.config 0,4096-ptr_max
PARAM_VALUE 0 lif->adminqcq->napi.dev 4096-ptr_max
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 lif->adminqcq->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 lif->adminqcq->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 lif->adminqcq->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 lif->adminqcq->napi.timer.is_queued 0
PARAM_VALUE 0 lif->ionic->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 lif->ionic->ident.dev 0-255
PARAM_VALUE 0 lif->ionic->vf_op_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lif->ionic->vf_op_lock.first_waiter->type 0-1
PARAM_VALUE 0 lif->kern_dbpage 0
PARAM_VALUE 0 lif->netdev 4096-ptr_max
PARAM_VALUE 0 lif->notifyqcq 0,4096-ptr_max
PARAM_VALUE 0 lif->rxqstats->dma_map_err 0
PARAM_VALUE 0 lif->state 4096-ptr_max
PARAM_VALUE 0 lif->txqstats->tso_bytes 0-u32max
PARAM_VALUE 0 *lif->netdev->name 0-255
PARAM_VALUE 0 *lif->rss_hash_key 0-255
CAPPED_DATA 0 lif->adminqcq->napi.timer.base 1
DATA_SOURCE 0 lif $0
PARAM_COMPARE 0 &lif->adminqcq->napi.timer != $0->adminqcq->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 lif->ionic->ident.drv.kernel_ver 0-u32max
HOST_DATA 0 lif->ionic->ident.drv.os_dist 0-u32max
HOST_DATA 0 lif->ionic->ident.drv.os_type 0-u32max
HOST_DATA 0 lif->ionic->ident.qos.type 0-255
HOST_DATA 0 lif->ionic->ident.qos.version 0-255
HOST_DATA 0 lif->ionic->ident.txq.comp_sz 0-u16max
HOST_DATA 0 lif->ionic->ident.txq.desc_sz 0-u16max
HOST_DATA 0 lif->ionic->ident.txq.features 0-u64max
HOST_DATA 0 lif->ionic->ident.txq.max_sg_elems 0-u16max
HOST_DATA 0 lif->ionic->ident.txq.sg_desc_stride 0-u16max
HOST_DATA 0 lif->ionic->ident.txq.sg_desc_sz 0-u16max
HOST_DATA 0 lif->ionic->ident.txq.supported 0-255
HOST_DATA 0 lif->ionic->ident.txq.version 0-255
HOST_DATA 0 lif->ionic->idev.dev_info.asic_rev 0-255
HOST_DATA 0 lif->ionic->idev.dev_info.asic_type 0-255
HOST_DATA 0 lif->ionic->idev.fw_generation 0-240
HOST_DATA 0 lif->ionic->idev.last_fw_hb 0-u32max
HOST_DATA 0 lif->ionic->neqs_per_lif 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 lif->adminqcq->q.index
NO_OVERFLOW_SIMPLE 0 lif->ionic->nrxqs_per_lif
NO_OVERFLOW_SIMPLE 0 lif->ionic->ntxqs_per_lif
NO_OVERFLOW_SIMPLE 0 lif->notifyqcq->q.index
HALF_LOCKED2 0 &lif->queue_lock

drivers/net/ethernet/pensando/ionic/ionic_lif.c ionic_lif_free() -> ionic_lif_reset()

Type Parameter Key Value
PARAM_VALUE 0 lif 4096-ptr_max
PARAM_VALUE 0 lif->adminq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lif->adminqcq 0
PARAM_VALUE 0 lif->ionic 4096-ptr_max
PARAM_VALUE 0 lif->ionic->dev 4096-ptr_max
PARAM_VALUE 0 lif->ionic->dev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lif->ionic->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 lif->ionic->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lif->netdev 4096-ptr_max
PARAM_VALUE 0 lif->netdev->nd_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 lif->netdev->nd_net.net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 lif->netdev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 lif->netdev->unreg_list.next 4096-ptr_max
PARAM_VALUE 0 lif->netdev->unreg_list.next->prev 4096-ptr_max
PARAM_VALUE 0 lif->netdev->unreg_list.prev 5817677264693248000
PARAM_VALUE 0 lif->netdev->unreg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 lif->notifyqcq 0
PARAM_VALUE 0 lif->phc 0
PARAM_VALUE 0 lif->phc->ptp 0
PARAM_VALUE 0 lif->registered 0
PARAM_VALUE 0 lif->rss_ind_tbl 0
PARAM_VALUE 0 lif->rss_ind_tbl_pa 0
PARAM_VALUE 0 lif->rxqcqs 0
PARAM_VALUE 0 lif->rxqstats 0
PARAM_VALUE 0 lif->state 4096-ptr_max
PARAM_VALUE 0 lif->txqcqs 0
PARAM_VALUE 0 lif->txqstats 0
PARAM_VALUE 0 *lif->adminqcq->dentry->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name 0-255
PARAM_VALUE 0 *lif->adminqcq->dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *lif->adminqcq->dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *lif->netdev->name 0-255
PARAM_VALUE 0 *lif->notifyqcq->dentry->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name 0-255
PARAM_VALUE 0 *lif->notifyqcq->dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *lif->notifyqcq->dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *lif->rss_hash_key 0-255
DATA_SOURCE 0 lif $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 lif->ionic->idev.dev_info.asic_rev 0-255
HOST_DATA 0 lif->ionic->idev.dev_info.asic_type 0-255
HOST_DATA 0 lif->ionic->idev.fw_generation 0-240
HOST_DATA 0 lif->ionic->idev.last_fw_hb 0-u32max

drivers/net/ethernet/pensando/ionic/ionic_lif.c ionic_lif_init() -> ionic_lif_reset()

Type Parameter Key Value
PARAM_VALUE 0 lif 4096-ptr_max
PARAM_VALUE 0 lif->adminq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lif->adminqcq 4096-ptr_max
PARAM_VALUE 0 lif->adminqcq->napi.config 0,4096-ptr_max
PARAM_VALUE 0 lif->adminqcq->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 lif->adminqcq->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 lif->adminqcq->q.lif 4096-ptr_max
PARAM_VALUE 0 lif->dbid_count 1-u32max
PARAM_VALUE 0 lif->hw_index 0-u16max
PARAM_VALUE 0 lif->ionic 4096-ptr_max
PARAM_VALUE 0 lif->ionic->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 lif->ionic->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 lif->ionic->dev_cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 lif->ionic->ident.dev 0-255
PARAM_VALUE 0 lif->ionic->ident.dev.ndbpgs_per_lif 1-u32max
PARAM_VALUE 0 lif->ionic->idev.dev_info_regs 1-u64max
PARAM_VALUE 0 lif->ionic->idev.opcode 0
PARAM_VALUE 0 lif->ionic->lif->deferred.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 lif->ionic->lif->netdev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 lif->kern_dbpage 65536-131071
PARAM_VALUE 0 lif->kern_pid 0
PARAM_VALUE 0 lif->netdev 0,4096-ptr_max
PARAM_VALUE 0 lif->rxqstats->dma_map_err 0
PARAM_VALUE 0 lif->txqstats->tso_bytes 0-u32max
PARAM_VALUE 0 *lif->netdev->name 0-255
CAPPED_DATA 0 &lif->ionic->dev_cmd_lock 1
DATA_SOURCE 0 lif $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 lif->ionic->idev.dev_info.asic_rev 0-255
HOST_DATA 0 lif->ionic->idev.dev_info.asic_type 0-255
HOST_DATA 0 lif->ionic->idev.fw_generation 0-240
HOST_DATA 0 lif->ionic->idev.last_fw_hb 0-u32max
NO_OVERFLOW_SIMPLE 0 lif->adminqcq->q.index
NO_OVERFLOW_SIMPLE 0 lif->ionic->nrxqs_per_lif
NO_OVERFLOW_SIMPLE 0 lif->ionic->ntxqs_per_lif
NO_OVERFLOW_SIMPLE 0 lif->notifyqcq->q.index
HALF_LOCKED2 0 &lif->queue_lock