Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_world_init() -> (struct rocker_world_ops)->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 4096-ptr_max
PARAM_VALUE 0 rocker->wpriv 16,4096-ptr_max
BUF_SIZE 0 rocker->wpriv 2099720
DATA_SOURCE 0 rocker $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 rocker->cmd_ring.mapaddr 0-u64max
HOST_DATA 0 rocker->cmd_ring.type 0-u32max
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