Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/alibaba/eea/eea_net.c eea_alloc_irq_blks() -> eea_pci_request_irq()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->db_blk_size 8-512
PARAM_VALUE 0 edev->enet 0,4096-ptr_max
PARAM_VALUE 0 edev->ep_dev 4096-ptr_max
PARAM_VALUE 0 edev->features 0
PARAM_VALUE 0 edev->rx_num 0-1000
PARAM_VALUE 0 edev->status 1-2
PARAM_VALUE 0 edev->tx_num 0-1000
PARAM_VALUE 1 blk 4096-ptr_max
PARAM_VALUE 1 blk->idx 0-999
PARAM_VALUE 1 blk->msix_vec 1-1000
CAPPED_DATA 1 blk->idx 1
CAPPED_DATA 1 blk->msix_vec 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 edev->ha_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 edev->ha_lock.owner.counter s64min-s64max
HOST_DATA 0 edev->tx_num 0-1000
NO_OVERFLOW_SIMPLE 1 blk->idx
HALF_LOCKED2 &edev->ha_lock
HALF_LOCKED2 &pool->lock