Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_probe_port() -> rocker_port_dev_addr_init()

Type Parameter Key Value
PARAM_VALUE 0 rocker_port 4096-ptr_max
PARAM_VALUE 0 rocker_port->dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 rocker_port->port_number 0-s32max
PARAM_VALUE 0 rocker_port->pport 1-2147483648
PARAM_VALUE 0 rocker_port->rocker 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->cmd_ring.desc 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->cmd_ring.desc_info 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->cmd_ring.size 32
PARAM_VALUE 0 rocker_port->rocker->cmd_ring.tail 0
PARAM_VALUE 0 rocker_port->rocker->cmd_ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rocker_port->rocker->event_ring.desc 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->event_ring.desc_info 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->event_ring.size 32
PARAM_VALUE 0 rocker_port->rocker->event_ring.tail 0
PARAM_VALUE 0 rocker_port->rocker->msix_entries 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->pdev 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->port_count 1-u32max
PARAM_VALUE 0 rocker_port->rocker->ports 16,4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->rocker_owq 4096-ptr_max
BUF_SIZE 0 rocker_port->rocker 264
CAPPED_DATA 0 rocker_port->port_number 1
CAPPED_DATA 0 rocker_port->pport 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rocker_port->rocker->cmd_ring.head 0-u32max
HOST_DATA 0 rocker_port->rocker->cmd_ring.mapaddr 0-u64max
HOST_DATA 0 rocker_port->rocker->cmd_ring.type 0
HOST_DATA 0 rocker_port->rocker->event_ring.head 0-u32max
HOST_DATA 0 rocker_port->rocker->event_ring.mapaddr 0-u64max
HOST_DATA 0 rocker_port->rocker->event_ring.size 32
HOST_DATA 0 rocker_port->rocker->event_ring.tail 0
HOST_DATA 0 rocker_port->rocker->event_ring.type 0
HOST_DATA 0 rocker_port->rocker->fib_nb.priority 0
HOST_DATA 0 rocker_port->rocker->hw.id 0
HOST_DATA 0 rocker_port->rocker->port_count 1-u32max
NO_OVERFLOW_SIMPLE 0 rocker_port->rocker->cmd_ring.size
NO_OVERFLOW_SIMPLE 0 rocker_port->rocker->event_ring.size
HALF_LOCKED2 &pool->lock