Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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
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
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_ring_irq_enable() -> igb_irq_enable()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
BIT_INFO 0 adapter->flags 0x0,0xffffdfff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 adapter unit_byte
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

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 0-s32max
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
CAPPED_DATA 0 adapter->num_q_vectors 1
CAPPED_DATA 0 adapter->num_rx_queues 1
CAPPED_DATA 0 adapter->num_tx_queues 1
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex