Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_alloc_intr_resources() -> vmxnet3_acquire_msix_vectors()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->intr.mask_mode 0-3
PARAM_VALUE 0 adapter->intr.msix_entries 4096-ptr_max
PARAM_VALUE 0 adapter->intr.type 3
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 *adapter->pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 nvec 3-s32max
BUF_SIZE 0 adapter->coal_conf (-1),16
BUF_SIZE 0 adapter->latencyConf (-1),4
BUF_SIZE 0 adapter->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 adapter->pm_conf (-1),920
BUF_SIZE 0 adapter->rss_conf (-1),176
BUF_SIZE 0 adapter->shared (-1),800
CAPPED_DATA 1 nvec 1
DATA_SOURCE 0 adapter $0
FUZZY_MAX 1 nvec 4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 adapter->adapter_pa 0-18446744073709551614
HOST_DATA 0 adapter->coal_conf_pa 0-u64max
HOST_DATA 0 adapter->default_coal_mode 0-1
HOST_DATA 0 adapter->default_rss_fields 0-1
HOST_DATA 0 adapter->disabledOffloads 0-u32max
HOST_DATA 0 adapter->intr.event_intr_idx 0-255
HOST_DATA 0 adapter->intr.mask_mode 0-3
HOST_DATA 0 adapter->intr.num_intrs 0-255
HOST_DATA 0 adapter->link_speed 0-u32max
HOST_DATA 0 adapter->num_rx_queues 0-32,2147483648-u32max[c]
HOST_DATA 0 adapter->num_tx_queues 0-u32max
HOST_DATA 0 adapter->pdev->current_state 0-3[c]
HOST_DATA 0 adapter->pm_conf_pa 0-u64max
HOST_DATA 0 adapter->queue_desc_pa 0-u64max
HOST_DATA 0 adapter->queuesExtEnabled 0-1
HOST_DATA 0 adapter->ringBufSize.pad 0-u16max
HOST_DATA 0 adapter->ringBufSize.ring1BufSizeType0 0-u16max
HOST_DATA 0 adapter->ringBufSize.ring1BufSizeType1 0-u16max
HOST_DATA 0 adapter->ringBufSize.ring2BufSizeType1 0-u16max
HOST_DATA 0 adapter->rss 0-1
HOST_DATA 0 adapter->rss_conf_pa 0-u64max
HOST_DATA 0 adapter->rss_fields 0-u32max
HOST_DATA 0 adapter->rx_buf_per_pkt 1
HOST_DATA 0 adapter->rx_prod2_offset 2560,6144
HOST_DATA 0 adapter->rx_prod_offset 2048,5120
HOST_DATA 0 adapter->rx_ring2_size 512
HOST_DATA 0 adapter->rx_ring_size 1024
HOST_DATA 0 adapter->rx_ts_desc_size 0-u16max
HOST_DATA 0 adapter->rxdataring_enabled 0-1
HOST_DATA 0 adapter->shared_pa 0-u64max
HOST_DATA 0 adapter->skb_buf_size 0-u32max
HOST_DATA 0 adapter->state 0-u64max
HOST_DATA 0 adapter->tx_prod_offset 1536,4096
HOST_DATA 0 adapter->tx_ring_size 512
HOST_DATA 0 adapter->tx_timeout_count 0-u64max
HOST_DATA 0 adapter->tx_ts_desc_size 0-u16max
HOST_DATA 0 adapter->txdata_desc_size 0-u16max
HOST_DATA 0 adapter->version 9
HOST_DATA 0 adapter->wol 0-u32max
HOST_DATA 0 adapter->work.data.counter s64min-s64max
HOST_DATA 1 nvec 4-s32max[c]
UNITS 1 nvec unit_byte