Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/b53/b53_common.c b53_arl_read_entry() -> (struct b53_arl_ops)->arl_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->arl_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->arl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->arl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->arl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->arl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->arl_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->arl_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->arl_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->arl_mutex.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dev->arl_ops 4096-ptr_max
PARAM_VALUE 0 dev->arl_ops->arl_read_entry 4096-ptr_max
PARAM_VALUE 0 dev->num_arl_bins 1-255
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->read8 4096-ptr_max
PARAM_VALUE 0 dev->ops->write16 4096-ptr_max
PARAM_VALUE 0 dev->ops->write48 4096-ptr_max
PARAM_VALUE 0 dev->ops->write8 4096-ptr_max
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->priv->controller->bus_lock_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 dev->priv->controller->cur_msg_completion.done 0-4294967295
PARAM_VALUE 0 dev->priv->controller->cur_msg_completion.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->priv->controller->cur_msg_incomplete 0-1
PARAM_VALUE 0 dev->priv->controller->cur_msg_need_completion 0-1
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->map->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->completed_cookie 1
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->cookie 1
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->dbg_client_name 0
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->name 0
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->route_data 0
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->rx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->syscon->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->syscon->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->tx_dma.ch->completed_cookie 1
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->tx_dma.ch->cookie 1
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->tx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->tx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 dev->priv->controller->dev.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 dev->priv->controller->dma_rx->client_count 1-s32max
PARAM_VALUE 0 dev->priv->controller->dma_tx->client_count 1-s32max
PARAM_VALUE 0 dev->priv->controller->fallback 0-1
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->priv->controller->io_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->priv->controller->io_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 dev->priv->controller->kworker->lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->priv->controller->pump_messages.worker->lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->priv->controller->pump_messages.worker->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->priv->controller->queue_empty 0-1
PARAM_VALUE 0 dev->priv->mdio_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->priv->mdio_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->priv->mdio_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->priv->mdio_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->reg_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->reg_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->reg_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->reg_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->reg_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->reg_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->reg_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->reg_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->reg_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->reg_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->variant_id 2
PARAM_VALUE 0 *dev->priv->controller->cur_msg->opt_state (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->priv->controller->cur_msg_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->priv->controller->dummy_rx (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->priv->controller->dummy_tx (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 ent 8453252269752205312
PARAM_VALUE 2 idx 0-254
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 2 idx 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 ent $1
DATA_SOURCE 2 idx $2
CONTAINER 0 -0-488+0 $(-1)
NOCHECK_CALL
LOCK2 0 &dev->arl_mutex
HALF_LOCKED2 &dp->addr_lists_lock
TYPE_LOCK (struct b53_device)->arl_mutex