Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/brocade/bna/bnad.c bnad_destroy_tx() -> bnad_tx_msix_unregister()

Type Parameter Key Value
PARAM_VALUE 0 bnad 4096-ptr_max
PARAM_VALUE 0 bnad->bna_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.done 0-4294967293,u32max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.lock.owner (-1)
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bnad->bnad_completions.tx_comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 bnad->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bnad->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bnad->conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 bnad->tx_info 4096-ptr_max
PARAM_VALUE 0 bnad->tx_res_info 4096-ptr_max
PARAM_VALUE 1 tx_info 4096-ptr_max
PARAM_VALUE 1 tx_info->tcb 4096-ptr_max
PARAM_VALUE 1 tx_info->tx 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.coalescing_timeout 0-255
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.continuous_coalescing 0-1
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.int_enabled 1
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.int_pkt_dma 0-1
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.inter_pkt_count 6,12
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.inter_pkt_timeout 3,15
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.ib_cfg.msix 0-1
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.mh.num_entries 6
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.tx_cfg.admit_tagged_frame 1
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.cfg_req.tx_cfg.vlan_mode 2
PARAM_VALUE 1 tx_info->tx->bfi_enet_cmd.req.mh.num_entries 1
PARAM_VALUE 1 tx_info->tx->bna 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.dbell_mb.qe.next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.dbell_mb.qe.next->prev 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.fsm 1926270110322319360,4853318041862631424,5417513611339304960,9098490293132537856
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc->wc_cbarg->stop_cbarg->netdev->pcpu_refcnt s32min-s32max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc.wc_cbarg->chld_stop_wc.wc_resume 8554739978543161344
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc.wc_cbarg->fsm 2807995371520266240,3670908155157864448,4551049630968287232,6159579297219600384,6727554099635466240,9152026560056012800,9208150790950375424
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc.wc_cbarg->pause_req.mh.num_entries 1
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc.wc_cbarg->stop_cbarg->ioc.dbg_fwsave_once 1
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->init_wc.wc_cbarg->stop_cbarg->ioc.stats.ioc_enables 0-4294967295
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->ioc->mbox_mod.cmd_q.prev 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->ioc->mbox_mod.cmd_q.prev->next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.msgq->ioc->mbox_mod.cmd_q.prev->next->next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.pending_q.prev->next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna->msgq.cmdq.pending_q.prev->next->next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->fsm 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->msgq_cmd.cbarg 0
PARAM_VALUE 1 tx_info->tx->msgq_cmd.cbfn 0
PARAM_VALUE 1 tx_info->tx->msgq_cmd.qe.next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->priv->tx_cleanup_work.cpu s32min-s32max
PARAM_VALUE 1 tx_info->tx->priv->tx_cleanup_work.timer.flags 0-4294967295
PARAM_VALUE 1 tx_info->tx->rid 0
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc->wc_cbarg->bna->bnad->netdev->pcpu_refcnt s32min-s32max
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->bnad->attr_req.mh.num_entries 1
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->bnad->ioc.dbg_fwsave_once 1
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->enet.chld_stop_wc.wc_count s32min-s32max
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->ethport.bfi_enet_cmd.lpbk_req.mode 0-1
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->ethport.flags 0,2-4294967295
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->ethport.fsm 3452598406441000960,4076960421292179456,5706438897185173504,6383531169701167104,7461053087607668736,9139755945255067648
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->ethport.stop_cbfn 0,507587247360081920
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->msgq->cmdq.dbell_mb.msg 0-4294967295
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->msgq.cmdq.fsm 1926270110322319360,4853318041862631424,5417513611339304960,9098490293132537856
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->rx_mod.rx_stop_wc.wc_resume 383140868559495168
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->rx_mod.stop_cbfn 411326709166215168
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->tx_mod.stop_cbfn 3093787475736715264
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->bna->tx_mod.tx_stop_wc.wc_resume 8585965678968872960
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->chld_stop_wc.wc_resume 8554739978543161344
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->fsm 2807995371520266240,3670908155157864448,4551049630968287232,6159579297219600384,6727554099635466240,9152026560056012800,9208150790950375424
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->init_mb->cbarg (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_cbarg->pause_req.mh.num_entries 1
PARAM_VALUE 1 tx_info->tx->stop_cbarg->tx_stop_wc.wc_count s32min-s32max
PARAM_VALUE 1 *tx_info->tx->bna->bnad->netdev->perm_addr 0-255
PARAM_VALUE 1 *tx_info->tx->bna->bnad->perm_addr 0-255
DATA_SOURCE 0 bnad $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bnad->conf_mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct bnad)->conf_mutex

drivers/net/ethernet/brocade/bna/bnad.c bnad_tx_msix_register() -> bnad_tx_msix_unregister()

Type Parameter Key Value
PARAM_VALUE 0 bnad 4096-ptr_max
PARAM_VALUE 0 bnad->bna.tx_mod.tx_active_q.prev 4096-ptr_max
PARAM_VALUE 0 bnad->bna.tx_mod.tx_active_q.prev->next 4096-ptr_max
PARAM_VALUE 0 bnad->bna.tx_mod.tx_active_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bnad->bna_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bnad->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bnad->conf_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bnad->conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 bnad->msix_table 4096-ptr_max
PARAM_VALUE 0 bnad->netdev 4096-ptr_max
PARAM_VALUE 0 bnad->tx_config 4096-ptr_max
PARAM_VALUE 0 bnad->tx_info 4096-ptr_max
PARAM_VALUE 0 bnad->tx_res_info 4096-ptr_max
PARAM_VALUE 1 tx_info 4096-ptr_max
PARAM_VALUE 1 tx_info->tcb 4096-ptr_max
PARAM_VALUE 1 tx_info->tx 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->bna 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->flags 0-1
PARAM_VALUE 1 tx_info->tx->fsm 3293225417573646336
PARAM_VALUE 1 tx_info->tx->priv 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->qe.next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->stop_cbarg 0
PARAM_VALUE 1 tx_info->tx->stop_cbfn 0
PARAM_VALUE 1 tx_info->tx->tcb_destroy_cbfn 3998656790056484864
PARAM_VALUE 1 tx_info->tx->tcb_setup_cbfn 396028722910801920
PARAM_VALUE 1 tx_info->tx->tx_cleanup_cbfn 7852846573800251392
PARAM_VALUE 1 tx_info->tx->tx_resume_cbfn 4664024243342581760
PARAM_VALUE 1 tx_info->tx->tx_stall_cbfn 6392965242460594176
PARAM_VALUE 1 tx_info->tx->txf_vlan_id 0
PARAM_VALUE 1 tx_info->tx->txq_q.next 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->txq_q.prev 4096-ptr_max
PARAM_VALUE 1 tx_info->tx->type 0
PARAM_VALUE 1 tx_info->tx_id 0-s32max
CAPPED_DATA 1 tx_info->tx->num_txq 1
CAPPED_DATA 1 tx_info->tx_id 1
CAPPED_DATA 2 num_txqs 1
DATA_SOURCE 0 bnad $0
DATA_SOURCE 1 tx_info $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bnad->conf_mutex
TYPE_LOCK (struct bnad)->conf_mutex