Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_leader_reset() -> bnx2x_set_reset_done()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->common.shmem_base | 1-4294967294 |
| PARAM_VALUE | 0 | bp->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->stats_init | 1 |
| PARAM_VALUE | 0 | *bp->dev->name | 0-255 |
| DATA_SOURCE | 0 | bp | $0 |
| BIT_INFO | 0 | bp->flags | 0x0,0xffbfffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | bp->common | s64min-s64max |
| HOST_DATA | 0 | bp->common->bc_ver | 0-u32max |
| HOST_DATA | 0 | bp->common->boot_mode | 0-u32max |
| HOST_DATA | 0 | bp->common->chip_id | 0-u32max |
| HOST_DATA | 0 | bp->common->chip_port_mode | 0-255 |
| HOST_DATA | 0 | bp->common->flash_size | s32min-s32max |
| HOST_DATA | 0 | bp->common->hw_config | 0-u32max |
| HOST_DATA | 0 | bp->common->int_block | 0-255 |
| HOST_DATA | 0 | bp->common->mf2_cfg_base | 0-u32max |
| HOST_DATA | 0 | bp->common->mf_cfg_base | 0-u32max |
| HOST_DATA | 0 | bp->common->shmem2_base | 0-u32max |
| HOST_DATA | 0 | bp->common->shmem_base | 0-u32max |
| HALF_LOCKED2 | global &rtnl_mutex |