Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_cnic_sp_post() -> bnx2x_set_ctx_validation()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cnic_kwq_cons 4096-ptr_max
PARAM_VALUE 0 bp->cnic_kwq_pending 1-u16max
PARAM_VALUE 0 bp->context 4096-ptr_max
PARAM_VALUE 0 bp->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3552,3720,9688-u64max
PARAM_VALUE 0 bp->link_params.bp->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3552,3720,9688-u64max
PARAM_VALUE 0 bp->spq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bp->stats_lock.first_waiter->up 0-1
PARAM_VALUE 0 *bp->dcbx_local_feat.ets.pg_bw_tbl 0-4294967295
PARAM_VALUE 0 *bp->dcbx_port_params.app.traffic_type_priority 0-4294967295
PARAM_VALUE 0 *bp->mf_config 0-4294967295
DATA_SOURCE 0 bp $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
HOST_DATA 0 bp->cmng.port.fair_vars.fairness_timeout 4-40000[c]
HOST_DATA 0 bp->cmng.port.rs_vars.rs_threshold 500-4096000[c]
HOST_DATA 0 bp->link_params.chip_id 0-u32max
HOST_DATA 0 bp->link_params.eee_mode 0-u32max
HOST_DATA 0 bp->link_params.feature_config_flags 0-u32max
HOST_DATA 0 bp->link_params.hw_led_mode 0-u16max
HOST_DATA 0 bp->link_params.lane_config 0-u32max
HOST_DATA 0 bp->link_params.lfa_base 0-u32max
HOST_DATA 0 bp->link_params.link_attr_sync 0-u32max
HOST_DATA 0 bp->link_params.link_flags 0-u16max
HOST_DATA 0 bp->link_params.loopback_mode 0-255
HOST_DATA 0 bp->link_params.multi_phy_config 0-u32max
HOST_DATA 0 bp->link_params.num_phys 0-255
HOST_DATA 0 bp->link_params.port 0-1
HOST_DATA 0 bp->link_params.req_fc_auto_adv 0-u16max
HOST_DATA 0 bp->link_params.rsrv 0-255
HOST_DATA 0 bp->link_params.shmem2_base 0-u32max
HOST_DATA 0 bp->link_params.shmem_base 0-u32max
HOST_DATA 0 bp->link_params.switch_cfg 16777216
HOST_DATA 0 bp->link_vars.aeu_int_mask 0-u32max
HOST_DATA 0 bp->link_vars.check_kr2_recovery_cnt 0-255
HOST_DATA 0 bp->link_vars.duplex 0-1
HOST_DATA 0 bp->link_vars.eee_status 0-u32max
HOST_DATA 0 bp->link_vars.fault_detected 0-255
HOST_DATA 0 bp->link_vars.flow_ctrl 256,512,768,1024
HOST_DATA 0 bp->link_vars.ieee_fc 0-u16max
HOST_DATA 0 bp->link_vars.line_speed 0-u16max
HOST_DATA 0 bp->link_vars.link_status 0-u32max
HOST_DATA 0 bp->link_vars.mac_type 0-4
HOST_DATA 0 bp->link_vars.periodic_flags 0-u16max
HOST_DATA 0 bp->link_vars.phy_flags 1,3,5,7,13,33,45
HOST_DATA 0 bp->link_vars.phy_link_up 0-1
HOST_DATA 0 bp->link_vars.rsrv2 0-u16max
HOST_DATA 0 bp->link_vars.rx_tx_asic_rst 0-255
HOST_DATA 0 bp->link_vars.turn_to_run_wc_rt 0-255
HOST_DATA 0 bp->pfid 0-255
LOCK2 bh
LOCK2 0 &bp->spq_lock
TYPE_LOCK (struct bnx2x)->spq_lock

drivers/net/ethernet/broadcom/bnx2x/bnx2x_sp.c bnx2x_q_init() -> bnx2x_set_ctx_validation()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dev 0,4096-ptr_max
PARAM_VALUE 0 bp->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 bp->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 bp->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 bp->ilt->lines 0-s64max
PARAM_VALUE 0 bp->link_params.bp->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 bp->link_params.bp->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 bp->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 bp->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 bp->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 bp->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 bp->pdev->sriov->ctrl 0-u16max
PARAM_VALUE 0 bp->pdev->sriov->num_VFs 0-u16max
PARAM_VALUE 0 bp->pdev->sriov->offset 0-u16max
PARAM_VALUE 0 bp->pdev->sriov->pos s32min-s32max
PARAM_VALUE 0 bp->pdev->sriov->stride 0-u16max
PARAM_VALUE 0 bp->stats_lock.first_waiter->up 0-1
PARAM_VALUE 0 *bp->mf_config 0-4294967295
PARAM_VALUE 0 *bp->vfdb->flrd_vfs 0-4294967295
DATA_SOURCE 0 bp $0
NOSPEC 0 bp->requested_nr_virtfn
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bp->link_params.chip_id 0-u32max
HOST_DATA 0 bp->link_params.eee_mode 0-u32max
HOST_DATA 0 bp->link_params.feature_config_flags 0-u32max
HOST_DATA 0 bp->link_params.hw_led_mode 0-u16max
HOST_DATA 0 bp->link_params.lane_config 0-u32max
HOST_DATA 0 bp->link_params.lfa_base 0-u32max
HOST_DATA 0 bp->link_params.link_attr_sync 0-u32max
HOST_DATA 0 bp->link_params.link_flags 0-u16max
HOST_DATA 0 bp->link_params.multi_phy_config 0-u32max
HOST_DATA 0 bp->link_params.port 0-255
HOST_DATA 0 bp->link_params.req_fc_auto_adv 0-u16max
HOST_DATA 0 bp->link_params.rsrv 0-255
HOST_DATA 0 bp->link_params.shmem2_base 0-u32max
HOST_DATA 0 bp->link_params.shmem_base 0-u32max
HOST_DATA 0 bp->link_params.switch_cfg 0-u32max
HOST_DATA 0 bp->link_vars.aeu_int_mask 0-u32max
HOST_DATA 0 bp->link_vars.check_kr2_recovery_cnt 0
HOST_DATA 0 bp->link_vars.duplex 0-1
HOST_DATA 0 bp->link_vars.eee_status 0-u32max
HOST_DATA 0 bp->link_vars.fault_detected 0-255
HOST_DATA 0 bp->link_vars.flow_ctrl 256,512,768,1024
HOST_DATA 0 bp->link_vars.ieee_fc 0-u16max
HOST_DATA 0 bp->link_vars.link_status 0-u32max
HOST_DATA 0 bp->link_vars.link_up 0-1
HOST_DATA 0 bp->link_vars.periodic_flags 0-u16max
HOST_DATA 0 bp->link_vars.phy_flags 1,3,5,7,13,33,45
HOST_DATA 0 bp->link_vars.phy_link_up 0-1
HOST_DATA 0 bp->link_vars.rsrv2 0-u16max
HOST_DATA 0 bp->link_vars.rx_tx_asic_rst 0-255
HOST_DATA 0 bp->link_vars.turn_to_run_wc_rt 0-255
HOST_DATA 0 bp->pfid 0-255
HOST_DATA 0 bp->spq_prod_bd->hdr.conn_and_cmd_data 0-u32max[c]
HOST_DATA 0 bp->spq_prod_bd->hdr.type 0-15[c]
HOST_DATA 0 bp->stats_lock.last_holder 0
HOST_DATA 0 bp->stats_lock.lock.magic 0-u32max
HOST_DATA 0 bp->stats_lock.lock.raw_lock.locked 0-255
HOST_DATA 0 bp->stats_lock.lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 bp->stats_lock.lock.raw_lock.pending 0-255
HOST_DATA 0 bp->stats_lock.lock.raw_lock.tail 0-u16max
HOST_DATA 0 bp->stats_lock.lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 bp->stats_state 0
USER_DATA 0 bp->requested_nr_virtfn 1-u16max[c]
USER_DATA 0 bp->rx_filter 0,16-u16max
USER_DATA 0 bp->tx_type 0-1
NO_OVERFLOW_SIMPLE 0 bp->requested_nr_virtfn
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vf->op_mutex
HALF_LOCKED2 global &pci_rescan_remove_lock
HALF_LOCKED2 global &rtnl_mutex