Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/google/gve/gve_adminq.c gve_process_device_options() -> gve_parse_device_option()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->adminq 4096-ptr_max
PARAM_VALUE 0 priv->adminq_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->adminq_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->adminq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->adminq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->adminq_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->adminq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->adminq_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->adminq_mask 63
PARAM_VALUE 0 priv->adminq_pool 4096-ptr_max
PARAM_VALUE 0 priv->adminq_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->adminq_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->adminq_pool->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 priv->adminq_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 priv->adminq_pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->adminq_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 priv->adminq_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 priv->adminq_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->adminq_pool->size 0-s32max
PARAM_VALUE 0 priv->db_bar2 4096-ptr_max
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 priv->dev->ethtool_ops 4118793434463481856
PARAM_VALUE 0 priv->dev->features 1649268817961
PARAM_VALUE 0 priv->dev->hw_features 1649268817961
PARAM_VALUE 0 priv->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 priv->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 priv->dev->min_mtu 68
PARAM_VALUE 0 priv->dev->netdev_ops 334790377935200256
PARAM_VALUE 0 priv->dev->queue_mgmt_ops 2766730564653576192
PARAM_VALUE 0 priv->dev->rtnl_link_ops->alloc 0,1182153660833808384,3130032447137456128
PARAM_VALUE 0 priv->dev->rtnl_link_ops->fill_linkxstats 0,4272586027813351424,9126321368221925376
PARAM_VALUE 0 priv->dev->rtnl_link_ops->fill_slave_info 0,1894154286989025280,5991230149655609344,6073386259643797504
PARAM_VALUE 0 priv->dev->rtnl_link_ops->fill_xstats 0,1425953645884952576
PARAM_VALUE 0 priv->dev->rtnl_link_ops->get_slave_size 0,115873957314805760,721207661812510720,8225189908379033600
PARAM_VALUE 0 priv->dev->rtnl_link_ops->get_xstats_size 0,805714376334290944
PARAM_VALUE 0 priv->dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,9688-u64max
PARAM_VALUE 0 priv->dev->rtnl_link_ops->slave_changelink 0,284250261890269184,1858234600890146816
PARAM_VALUE 0 priv->dev->rtnl_link_ops->slave_policy 0,3093805375383687168,4992708822405533696
PARAM_VALUE 0 priv->dev->stat_ops 3461457500502040576
PARAM_VALUE 0 priv->dev->watchdog_timeo 1250
PARAM_VALUE 0 priv->dev->xdp_metadata_ops->xmo_rx_vlan_tag 0,4297170149191081984,4612482598076690432,7285523086717030400
PARAM_VALUE 0 priv->ethtool_flags 0
PARAM_VALUE 0 priv->gve_wq 4096-ptr_max
PARAM_VALUE 0 priv->gve_wq->flags 0-4294967295
PARAM_VALUE 0 priv->max_rx_buffer_size 2048
PARAM_VALUE 0 priv->msg_enable 5
PARAM_VALUE 0 priv->num_registered_pages 0
PARAM_VALUE 0 priv->pdev 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 priv->pdev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 priv->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 priv->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pdev->dev.dma_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 priv->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 priv->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 priv->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 priv->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 priv->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 priv->pdev->driver 4096-ptr_max
PARAM_VALUE 0 priv->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 priv->pdev->is_busmaster 1
PARAM_VALUE 0 priv->pdev->pcie_cap 0-1
PARAM_VALUE 0 priv->pdev->sriov->pos s32min-s32max
PARAM_VALUE 0 priv->queue_format 0-1
PARAM_VALUE 0 priv->reg_bar0 4096-ptr_max
PARAM_VALUE 0 priv->rx_cfg.packet_buffer_size 2048
PARAM_VALUE 0 priv->service_task_flags 0
PARAM_VALUE 0 priv->state_flags 0
PARAM_VALUE 1 device_descriptor 4096-ptr_max
PARAM_VALUE 2 option 4096-ptr_max
PARAM_VALUE 3 dev_op_gqi_rda 4911978354369052672
PARAM_VALUE 4 dev_op_gqi_qpl 6290429333579644928
PARAM_VALUE 5 dev_op_dqo_rda 2377601222909108224
PARAM_VALUE 6 dev_op_jumbo_frames 3712506098310508544
PARAM_VALUE 7 dev_op_dqo_qpl 1814364217628962816
PARAM_VALUE 8 dev_op_buffer_sizes 7981341366760890368
PARAM_VALUE 9 dev_op_flow_steering 4556291929593184256
PARAM_VALUE 10 dev_op_rss_config 5659845182469562368
PARAM_VALUE 11 dev_op_nic_timestamp 7248306641262055424
PARAM_VALUE 12 dev_op_modify_ring 6341037204471554048
BUF_SIZE 0 priv->gve_wq (-1),512,528-8720
BUF_SIZE 0 priv->pdev (-1),1-s32max
CAPPED_DATA 0 priv->adminq_pool 1
CAPPED_DATA 0 priv->adminq_pool->size 1
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 device_descriptor $1
DATA_SOURCE 3 dev_op_gqi_rda $2
DATA_SOURCE 4 dev_op_gqi_qpl $3
DATA_SOURCE 5 dev_op_dqo_rda $4
DATA_SOURCE 6 dev_op_jumbo_frames $5
DATA_SOURCE 7 dev_op_dqo_qpl $6
DATA_SOURCE 8 dev_op_buffer_sizes $7
DATA_SOURCE 9 dev_op_flow_steering $8
DATA_SOURCE 10 dev_op_rss_config $9
DATA_SOURCE 11 dev_op_nic_timestamp $10
DATA_SOURCE 12 dev_op_modify_ring $11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->pdev->current_state 0-3[c]
HOST_DATA 0 priv->rx_cfg.max_queues 0-u16max
HOST_DATA 0 priv->tx_cfg.max_queues 0-u16max
NO_OVERFLOW_SIMPLE 0 priv->adminq_pool->allocation
NO_OVERFLOW_SIMPLE 0 priv->adminq_pool->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 priv->counter_array_bus
NO_OVERFLOW_SIMPLE 0 priv->mgmt_msix_name
NO_OVERFLOW_SIMPLE 0 priv->pdev->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 priv->pdev->msix_base
NO_OVERFLOW_SIMPLE 0 priv->rss_key_size
NO_OVERFLOW_SIMPLE 0 priv->rss_lut_size
NO_OVERFLOW_SIMPLE 0 priv->rx_cfg.max_queues
NO_OVERFLOW_SIMPLE 0 priv->rx_cfg.num_queues
NO_OVERFLOW_SIMPLE 0 priv->rx_pages_per_qpl
NO_OVERFLOW_SIMPLE 0 priv->stats_report_bus
NO_OVERFLOW_SIMPLE 0 priv->stats_report_len
NO_OVERFLOW_SIMPLE 0 priv->tx_cfg.max_queues
NO_OVERFLOW_SIMPLE 0 priv->tx_cfg.num_queues
NO_OVERFLOW_SIMPLE 0 priv->tx_pages_per_qpl
HALF_LOCKED2 &pool->lock