Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100_nic.c ef100_check_design_params() -> ef100_process_design_param()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
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.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 efx->max_channels 0-4294967294
PARAM_VALUE 0 efx->max_tx_channels 0-4294967294
PARAM_VALUE 0 efx->max_vis 4096
PARAM_VALUE 0 efx->mcdi->hwmon.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->mem_bar 0-5
PARAM_VALUE 0 efx->membase 4096-ptr_max
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->nic_data 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->next 4096-ptr_max
PARAM_VALUE 0 efx->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
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->dev.msi.data->__iter_idx 0-s64max
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->pci_dev->is_busmaster 1
PARAM_VALUE 0 efx->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 efx->pci_dev->resource 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->subordinate->self->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 efx->rps_hash_table 0,4096-ptr_max
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->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->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->mtd_read 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_write 0,4096-ptr_max
PARAM_VALUE 0 efx->type->probe 4096-ptr_max
PARAM_VALUE 0 efx->type->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->workqueue 4096-ptr_max
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *efx->rss_context.rx_indir_table 0-4294967295
PARAM_VALUE 0 *efx->workqueue_name 0-255
PARAM_VALUE 1 reader 4538034878522413056
PARAM_VALUE 1 reader->len 0-8
PARAM_VALUE 1 reader->state 0
PARAM_VALUE 1 reader->type 0-127
PARAM_VALUE 1 reader->value 0
BUF_SIZE 0 efx (-1),5888
BUF_SIZE 0 efx (-1),5888
BUF_SIZE 0 efx->nic_data 400
CAPPED_DATA 0 efx->pci_dev 1
CAPPED_DATA 0 efx->rps_hash_table 1
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 efx->stats_buffer.len
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime