Defined in 1 files as a function:
Referenced in 2 files:
- drivers/net/ethernet/broadcom/bnx2x/bnx2x.h, line 207
- drivers/net/ethernet/broadcom/bnx2x/bnx2x_init_ops.h
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_init_wr_64() -> bnx2x_write_big_buf_wb()
| 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->dev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744 |
| PARAM_VALUE | 0 | bp->dmae_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->init_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->init_ops_offsets | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->slowpath | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->slowpath->wb_comp | 0 |
| PARAM_VALUE | 0 | bp->slowpath->wb_data | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-16777215 |
| PARAM_VALUE | 2 | len | 1-8192 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| NOCHECK_CALL |
drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_init_wr_wb() -> bnx2x_write_big_buf_wb()
| 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->dev->rtnl_link_ops->priv_size | 0,8,32,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,3720,9688-u64max |
| PARAM_VALUE | 0 | bp->dmae_ready | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | addr | 0-16777215 |
| PARAM_VALUE | 2 | len | 0-u16max |
| DATA_SOURCE | 0 | bp | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | len | $3 |
| NOCHECK_CALL |
drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_init_wr_zp() -> bnx2x_write_big_buf_wb()
| 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->dev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744 |
| PARAM_VALUE | 0 | bp->dmae_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->gunzip_outlen | (-536870912)-536870911 |
| PARAM_VALUE | 0 | bp->init_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->init_ops_offsets | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->slowpath | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->slowpath->wb_comp | 0 |
| PARAM_VALUE | 0 | bp->slowpath->wb_data | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->strm->state->dmax | 32768 |
| PARAM_VALUE | 0 | bp->strm->state->wsize | 0-4294967295 |
| PARAM_VALUE | 0 | *bp->dev->name | 0 |
| PARAM_VALUE | 1 | addr | 0-16777215 |
| PARAM_VALUE | 2 | len | 0-536870911,3758096384-u32max |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| BIT_INFO | 2 | len | 0x0,0x1fffffff |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |