Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/igb/igb_main.c __igb_open() -> igb_set_queue_napi()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->eims_other 1,2147483648
PARAM_VALUE 0 adapter->flags 0,2-4294967294
PARAM_VALUE 0 adapter->hw.fc.current_mode 0-254,256-u32max
PARAM_VALUE 0 adapter->hw.fc.requested_mode 0,2-3
PARAM_VALUE 0 adapter->hw.hw_addr 0,4096-ptr_max
PARAM_VALUE 0 adapter->hw.mac.addr 4096-ptr_max
PARAM_VALUE 0 adapter->hw.mac.get_link_status 1
PARAM_VALUE 0 adapter->hw.mac.txcw 2147483680,2147483936,2147484064
PARAM_VALUE 0 adapter->hw.mac.type 1-7
PARAM_VALUE 0 adapter->hw.phy.original_ms_type 1-3
PARAM_VALUE 0 adapter->mac_table 4096-ptr_max
PARAM_VALUE 0 adapter->msix_entries->vector 0-4294967295
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->netdev->num_rx_queues 1-u32max
PARAM_VALUE 0 adapter->netdev->num_tc 0
PARAM_VALUE 0 adapter->netdev->num_tx_queues 1-u32max
PARAM_VALUE 0 adapter->netdev->priv->flags 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->pdev->is_virtfn 0-1
PARAM_VALUE 0 adapter->netdev->real_num_rx_queues 1-u32max
PARAM_VALUE 0 adapter->netdev->real_num_tx_queues 1-u32max
PARAM_VALUE 0 adapter->netdev->threaded 0
PARAM_VALUE 0 adapter->netdev->uc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 adapter->nfc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->num_q_vectors 1
PARAM_VALUE 0 adapter->num_rx_queues s32min-(-1),1-s32max
PARAM_VALUE 0 adapter->num_tx_queues s32min-(-1),1-s32max
PARAM_VALUE 0 adapter->pdev->block_cfg_access 0
PARAM_VALUE 0 adapter->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 adapter->pdev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 adapter->pdev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 adapter->pdev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 adapter->pdev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.msi.data 1-u64max
PARAM_VALUE 0 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 adapter->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 adapter->pdev->is_msi_managed 1
PARAM_VALUE 0 adapter->pdev->sriov->ctrl 0-u16max
PARAM_VALUE 0 adapter->q_vector 4096-ptr_max
PARAM_VALUE 0 adapter->rss_queues 1
PARAM_VALUE 0 adapter->vf_data 0
PARAM_VALUE 0 adapter->vf_mac_list 0
PARAM_VALUE 0 adapter->vfs_allocated_count 0
PARAM_VALUE 0 *adapter->etype_bitmap 0-1
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 0 *adapter->netdev->prio_tc_map 0
PARAM_VALUE 0 *adapter->netdev->priv->hw->back->shadow_vfta 0-4294967295
PARAM_VALUE 0 *adapter->netdev->priv->hw->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *adapter->rss_indir_tbl 0-255
PARAM_VALUE 1 vector 0
PARAM_VALUE 2 napi 4096-ptr_max
PARAM_VALUE 2 napi->dev 4096-ptr_max
PARAM_VALUE 2 napi->dev->lock.dep_map->name 0-255
PARAM_VALUE 2 napi->dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 2 napi->thread 0,4096-ptr_max
PARAM_VALUE 2 napi->thread->blocked_on 0
PARAM_VALUE 2 napi->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 2 napi->thread->migration_disabled 0-1
PARAM_VALUE 2 napi->thread->on_rq 0-1,3-255
PARAM_VALUE 2 napi->thread->saved_state 0
PARAM_VALUE 2 napi->thread->wake_cpu 0-s32max
PARAM_VALUE 2 *napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 2 napi 560
CAPPED_DATA 0 adapter 1
CAPPED_DATA 0 adapter->netdev->num_tx_queues 1
CAPPED_DATA 0 adapter->num_rx_queues 1
CAPPED_DATA 0 adapter->num_tx_queues 1
PARAM_COMPARE 0 adapter->netdev->num_rx_queues >= $0->num_rx_queues
PARAM_COMPARE 0 adapter->netdev->num_tx_queues >= $0->num_tx_queues
PARAM_COMPARE 0 adapter->num_q_vectors > $1
PARAM_COMPARE 1 vector < $0->num_q_vectors
CONSTRAINT 0 adapter->num_rx_queues <=3120
CONSTRAINT 0 adapter->num_tx_queues <=3121
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->pdev->sriov->offset 0
HOST_DATA 0 adapter->pdev->sriov->stride 0
UNITS 0 adapter unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/igb/igb_main.c igb_down() -> igb_set_queue_napi()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->flags 0-4294966783
PARAM_VALUE 0 adapter->hw.hw_addr 0,4096-ptr_max
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->nfc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->num_q_vectors 1-u32max
PARAM_VALUE 0 adapter->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 adapter->q_vector 4096-ptr_max
PARAM_VALUE 0 *adapter->etype_bitmap 0-1
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 vector 0-s32max
PARAM_VALUE 2 napi 0
CAPPED_DATA 1 vector 1
DATA_SOURCE 0 adapter $0
FUZZY_MAX 1 vector 0
PARAM_COMPARE 0 adapter->num_q_vectors > $1
PARAM_COMPARE 1 vector < $0->num_q_vectors
BIT_INFO 0 adapter->flags 0x0,0xfffffdff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 vector unit_array_size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/igb/igb_main.c igb_up() -> igb_set_queue_napi()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->hw.hw_addr 0,4096-ptr_max
PARAM_VALUE 0 adapter->hw.mac.addr 4096-ptr_max
PARAM_VALUE 0 adapter->hw.mac.type 1-7
PARAM_VALUE 0 adapter->mac_table 4096-ptr_max
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->priv->flags 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->pdev->is_virtfn 0-1
PARAM_VALUE 0 adapter->netdev->uc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 adapter->nfc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->num_q_vectors 1-u32max
PARAM_VALUE 0 adapter->q_vector 4096-ptr_max
PARAM_VALUE 0 *adapter->etype_bitmap 0-1
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 0 *adapter->netdev->priv->hw->back->shadow_vfta 0-4294967295
PARAM_VALUE 0 *adapter->netdev->priv->hw->mac.mta_shadow 0-4294967295
PARAM_VALUE 0 *adapter->rss_indir_tbl 0-255
PARAM_VALUE 1 vector 0-s32max
PARAM_VALUE 2 napi 4096-ptr_max
PARAM_VALUE 2 napi->dev 4096-ptr_max
PARAM_VALUE 2 napi->dev->lock.dep_map->name 0-255
PARAM_VALUE 2 napi->dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 2 napi->dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 2 napi->thread 0,4096-ptr_max
PARAM_VALUE 2 napi->thread->blocked_on 0
PARAM_VALUE 2 napi->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 2 napi->thread->migration_disabled 0-1
PARAM_VALUE 2 napi->thread->on_rq 0-1,3-255
PARAM_VALUE 2 napi->thread->saved_state 0
PARAM_VALUE 2 napi->thread->wake_cpu 0-s32max
PARAM_VALUE 2 *napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 2 napi 560
CAPPED_DATA 0 adapter->num_rx_queues 1
CAPPED_DATA 0 adapter->num_tx_queues 1
CAPPED_DATA 1 vector 1
DATA_SOURCE 0 adapter $0
FUZZY_MAX 1 vector 0
PARAM_COMPARE 0 adapter->num_q_vectors > $1
PARAM_COMPARE 1 vector < $0->num_q_vectors
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 vector unit_array_size
HALF_LOCKED2 global &rtnl_mutex