Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_cmd_exec() -> rocker_cmd_exec param 4()

Type Parameter Key Value
PARAM_VALUE 0 rocker_port 4096-ptr_max
PARAM_VALUE 0 rocker_port->dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 rocker_port->rocker 4096-ptr_max
PARAM_VALUE 0 rocker_port->rocker->cmd_ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rocker_port->rocker->wops->port_init 3665756991885443072
PARAM_VALUE 0 rocker_port->rocker->wops->port_priv_size 584
PARAM_VALUE 1 desc_info 4096-ptr_max
PARAM_VALUE 1 desc_info->desc 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie->done 0
PARAM_VALUE 1 desc_info->desc->cookie->wait.head.next 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie->wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie->wait.head.prev 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 desc_info->desc->cookie->wait.head.prev->prev 4096-ptr_max
BUF_SIZE 2 priv (-1),6,8-2147483640
BUF_SIZE 2 priv (-1),6,8-2147483640
DATA_SOURCE 0 rocker_port $0
DATA_SOURCE 1 desc_info r rocker_desc_head_get
DATA_SOURCE 2 priv $5
RX_PATH
TASK_NOT_RUNNING
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-u32max
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-u32max
HOST_DATA 0 rocker_port->rocker->fib_nb.priority s32min-s32max
HOST_DATA 0 rocker_port->rocker->hw.id 0-u64max
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