Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_handle_qs_err() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | nic->netdev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->priv_size | 0,8,32,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 | nic->netdev->tx_global_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->qs->cq_cnt | 1-255 |
| PARAM_VALUE | 1 | int_type | 0 |
| PARAM_VALUE | 2 | q_idx | 0-254 |
| CAPPED_DATA | 0 | nic->netdev->num_tx_queues | 1 |
| CAPPED_DATA | 2 | q_idx | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | q_idx | unit_array_size |
| HALF_LOCKED2 | bh |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_intr_handler() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0 |
| PARAM_VALUE | 1 | int_type | 0 |
| PARAM_VALUE | 2 | q_idx | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | nic | unit_byte |
| UNITS | 2 | q_idx | unit_array_size |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_open() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->priv_size | 0,8,32,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 | nic->nicvf_rx_mode_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->msix_enabled | 1 |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->pnicvf->qs->cq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->pnicvf->qs->sq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->ptp_clock->ptp_clock | 0,4096-u64max |
| PARAM_VALUE | 0 | nic->ptp_skb | 0 |
| PARAM_VALUE | 0 | nic->qs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->qs->cq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 0-1 |
| PARAM_VALUE | 0 | nic->qs->rbdr_len | 0,8192 |
| PARAM_VALUE | 0 | nic->qs->sq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->qs_err_task.count.counter | 0 |
| PARAM_VALUE | 0 | nic->qs_err_task.data | 0 |
| PARAM_VALUE | 0 | nic->qs_err_task.next | 0 |
| PARAM_VALUE | 0 | nic->qs_err_task.state | 0 |
| PARAM_VALUE | 0 | nic->qs_err_task.use_callback | 1 |
| PARAM_VALUE | 0 | nic->rbdr_task.count.counter | 0 |
| PARAM_VALUE | 0 | nic->rbdr_task.data | 0 |
| PARAM_VALUE | 0 | nic->rbdr_task.next | 0 |
| PARAM_VALUE | 0 | nic->rbdr_task.state | 0 |
| PARAM_VALUE | 0 | nic->rbdr_task.use_callback | 1 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | nic->set_mac_pending | 0 |
| PARAM_VALUE | 0 | nic->tx_ptp_skbs.counter | 0 |
| PARAM_VALUE | 0 | *nic->irq_allocated | 0-1 |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 5 |
| PARAM_VALUE | 2 | q_idx | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | nic | unit_byte |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_qs_err_intr_handler() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0 |
| PARAM_VALUE | 1 | int_type | 6 |
| PARAM_VALUE | 2 | q_idx | 0 |
| DATA_SOURCE | 0 | nic | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_rbdr_intr_handler() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->qs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 1 |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 2 |
| CAPPED_DATA | 2 | q_idx | 1 |
| DATA_SOURCE | 0 | nic | $1 |
| PARAM_COMPARE | 0 | nic->qs->rbdr_cnt | > $2 |
| PARAM_COMPARE | 2 | q_idx | < $0->qs->rbdr_cnt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | q_idx | unit_array_size |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_register_misc_interrupt() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->irq_allocated | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->irq_name | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->num_vec | 1,234 |
| PARAM_VALUE | 0 | nic->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | nic->pdev->is_msi_managed | 1 |
| PARAM_VALUE | 0 | nic->pdev->msix_base | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pf_acked | 0 |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->qs->be_en | 0 |
| PARAM_VALUE | 0 | nic->qs->cq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 0-1 |
| PARAM_VALUE | 0 | nic->qs->rbdr_len | 0,8192 |
| PARAM_VALUE | 0 | nic->qs->sq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0 |
| PARAM_VALUE | 1 | int_type | 5 |
| PARAM_VALUE | 2 | q_idx | 0 |
| BUF_SIZE | 0 | nic->drv_stats | (-1),352 |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| BIT_INFO | 0 | nic->num_vec | 0x0,0x1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->num_vec | 1[c] |
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_stop() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->link_up | 0 |
| PARAM_VALUE | 0 | nic->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 1 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 2 |
| PARAM_VALUE | 2 | q_idx | 0-254 |
| CAPPED_DATA | 0 | nic->netdev->num_tx_queues | 1 |
| CAPPED_DATA | 2 | q_idx | 1 |
| PARAM_COMPARE | 0 | nic->sqs_count | >= $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_stop() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->link_up | 0 |
| PARAM_VALUE | 0 | nic->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 0-1 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 6 |
| PARAM_VALUE | 2 | q_idx | 0 |
| CAPPED_DATA | 0 | nic->netdev->num_tx_queues | 1 |
| FUZZY_MAX | 0 | nic->qs->rbdr_cnt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_stop() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->link_up | 0 |
| PARAM_VALUE | 0 | nic->napi | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->qs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->qs->cq_cnt | 1-255 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 0-1 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 0 |
| PARAM_VALUE | 2 | q_idx | 0-254 |
| CAPPED_DATA | 0 | nic->netdev->num_tx_queues | 1 |
| CAPPED_DATA | 0 | nic->num_vec | 1 |
| CAPPED_DATA | 2 | q_idx | 1 |
| FUZZY_MAX | 0 | nic->qs->rbdr_cnt | 1 |
| PARAM_COMPARE | 0 | nic->qs->cq_cnt | > $2 |
| PARAM_COMPARE | 2 | q_idx | < $0->qs->cq_cnt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | q_idx | unit_array_size |
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/cavium/thunder/nicvf_main.c nicvf_stop() -> nicvf_disable_intr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->link_up | 0 |
| PARAM_VALUE | 0 | nic->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | nic->netdev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->nicvf_rx_mode_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->pdev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | nic->pf_nacked | 0 |
| PARAM_VALUE | 0 | nic->pnicvf | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pnicvf->qs->cq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->pnicvf->qs->sq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->ptp_clock->ptp_clock | 0,4096-9223372036854775807 |
| PARAM_VALUE | 0 | nic->qs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->qs->cq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->qs->enable | 0 |
| PARAM_VALUE | 0 | nic->qs->rbdr_cnt | 0-1 |
| PARAM_VALUE | 0 | nic->qs->rbdr_len | 0,8192 |
| PARAM_VALUE | 0 | nic->qs->sq_len | 0-1024 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->rx_mode_mtx.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 1 | int_type | 5 |
| PARAM_VALUE | 2 | q_idx | 0 |
| CAPPED_DATA | 0 | nic->netdev->num_tx_queues | 1 |
| CAPPED_DATA | 0 | nic->num_vec | 1 |
| CAPPED_DATA | 0 | nic->qs->cq_cnt | 1 |
| CAPPED_DATA | 0 | nic->qs->rbdr_cnt | 1 |
| CAPPED_DATA | 0 | nic->qs->rq_cnt | 1 |
| CAPPED_DATA | 0 | nic->qs->sq_cnt | 1 |
| FUZZY_MAX | 0 | nic->qs->rbdr_cnt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |