Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/rocker/rocker_main.c rocker_world_check_init() -> rocker_world_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rocker | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->cmd_ring.desc | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->cmd_ring.desc_info | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->cmd_ring.head | 0 |
| PARAM_VALUE | 0 | rocker->cmd_ring.size | 32 |
| PARAM_VALUE | 0 | rocker->cmd_ring.tail | 0 |
| PARAM_VALUE | 0 | rocker->event_ring.desc | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->event_ring.desc_info | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->event_ring.size | 32 |
| PARAM_VALUE | 0 | rocker->event_ring.tail | 0 |
| PARAM_VALUE | 0 | rocker->hw_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->msix_entries | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->port_count | 1-u32max |
| PARAM_VALUE | 0 | rocker->ports | 16,4096-ptr_max |
| PARAM_VALUE | 0 | rocker->rocker_owq | 4096-ptr_max |
| PARAM_VALUE | 0 | rocker->wops | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | rocker->event_ring.head | 0-u32max |
| HOST_DATA | 0 | rocker->event_ring.size | 32 |
| HOST_DATA | 0 | rocker->event_ring.tail | 0 |
| HOST_DATA | 0 | rocker->event_ring.type | 0-u32max |
| HOST_DATA | 0 | rocker->fib_nb.priority | s32min-s32max |
| HOST_DATA | 0 | rocker->hw.id | 0-u64max |
| HOST_DATA | 0 | rocker->port_count | 1-u32max |
| NO_OVERFLOW_SIMPLE | 0 | rocker->cmd_ring.size | |
| NO_OVERFLOW_SIMPLE | 0 | rocker->event_ring.size | |
| HALF_LOCKED2 | &pool->lock |