Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_update_coalesce_sb_index() -> storm_memset_hc_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | bp->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | bp->stats_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | *bp->vfdb->flrd_vfs | 0-4294967295 |
| PARAM_VALUE | 1 | port | 0-1 |
| DATA_SOURCE | 0 | bp | $0 |
| DATA_SOURCE | 2 | fw_sb_id | $1 |
| DATA_SOURCE | 3 | sb_index | $2 |
| NOSPEC | 0 | bp->requested_nr_virtfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | bp->requested_nr_virtfn | 1-u16max[c] |
| USER_DATA | 0 | bp->rx_filter | 0,16-u16max |
| USER_DATA | 0 | bp->rx_ticks | 0-1020 |
| USER_DATA | 0 | bp->tx_ticks | 0-1020 |
| USER_DATA | 0 | bp->tx_type | 0-1 |
| USER_DATA | 4 | ticks | 0-255[c] |
| NO_OVERFLOW_SIMPLE | 0 | bp->requested_nr_virtfn | |
| HALF_LOCKED2 | global &rtnl_mutex |