Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100.c ef100_pci_find_func_ctrl_window() -> ef100_pci_parse_xilinx_cap()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.count.counter 0
PARAM_VALUE 0 efx->filter_sem.dep_map->name 0-255
PARAM_VALUE 0 efx->filter_sem.first_waiter 0
PARAM_VALUE 0 efx->filter_sem.magic 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.osq.tail.counter 0
PARAM_VALUE 0 efx->filter_sem.owner.counter 0
PARAM_VALUE 0 efx->flush_wq.head.next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->interrupt_mode 0-2
PARAM_VALUE 0 efx->mac_lock.dep_map->name 0-255
PARAM_VALUE 0 efx->mac_lock.first_waiter 0
PARAM_VALUE 0 efx->mac_lock.magic 4096-ptr_max
PARAM_VALUE 0 efx->mac_lock.osq.tail.counter 0
PARAM_VALUE 0 efx->mac_lock.owner.counter 0
PARAM_VALUE 0 efx->max_channels 32
PARAM_VALUE 0 efx->max_tx_channels 32
PARAM_VALUE 0 efx->mem_bar 0-16,u32max
PARAM_VALUE 0 efx->mtd_list.next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.next->next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->node.next 4096-ptr_max
PARAM_VALUE 0 efx->node.next->next 4096-ptr_max
PARAM_VALUE 0 efx->node.prev 4096-ptr_max
PARAM_VALUE 0 efx->node.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->num_mac_stats 97
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->cfg_size 257-s32max
PARAM_VALUE 0 efx->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 efx->reflash_mutex.dep_map->name 0-255
PARAM_VALUE 0 efx->reflash_mutex.first_waiter 0
PARAM_VALUE 0 efx->reflash_mutex.magic 4096-ptr_max
PARAM_VALUE 0 efx->reflash_mutex.osq.tail.counter 0
PARAM_VALUE 0 efx->reflash_mutex.owner.counter 0
PARAM_VALUE 0 efx->rps_hash_table 0,4096-ptr_max
PARAM_VALUE 0 efx->rps_mutex.dep_map->name 0-255
PARAM_VALUE 0 efx->rps_mutex.first_waiter 0
PARAM_VALUE 0 efx->rps_mutex.magic 4096-ptr_max
PARAM_VALUE 0 efx->rps_mutex.osq.tail.counter 0
PARAM_VALUE 0 efx->rps_mutex.owner.counter 0
PARAM_VALUE 0 efx->rss_context.priv.context_id u32max
PARAM_VALUE 0 efx->rx_ip_align 0
PARAM_VALUE 0 efx->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->rxq_entries 1024
PARAM_VALUE 0 efx->secondary_list.next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.next->next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->state 0
PARAM_VALUE 0 efx->tx_queues_per_channel 1
PARAM_VALUE 0 efx->txq_entries 1024
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->min_interrupt_mode 0,2
PARAM_VALUE 0 efx->type->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->vf_reps.next 4096-ptr_max
PARAM_VALUE 0 efx->vf_reps.next->next 4096-ptr_max
PARAM_VALUE 0 efx->vf_reps.prev 4096-ptr_max
PARAM_VALUE 0 efx->vf_reps.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->vf_reps.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->vi_stride 65536
PARAM_VALUE 0 efx->vport_id 16777216
PARAM_VALUE 0 efx->workqueue 4096-ptr_max
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *efx->workqueue_name 0-255
PARAM_VALUE 1 vndr_cap 260-4096
PARAM_VALUE 3 result 6651396683734339584
PARAM_VALUE 3 result->bar 0
PARAM_VALUE 3 result->offset 0
PARAM_VALUE 3 result->valid 0
BUF_SIZE 0 efx 5888
CAPPED_DATA 0 efx->rps_hash_table 1
CAPPED_DATA 1 vndr_cap 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 3 result $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]