Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intersil/p54/p54spi.c p54spi_wq_tx() -> p54spi_tx_frame()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->fw_state 2
PARAM_VALUE 0 priv->mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 priv->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 priv->spi 4096-ptr_max
PARAM_VALUE 0 priv->spi->controller 4096-ptr_max
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->spi->controller->bus_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->spi->controller->cur_msg 0
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->op_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->op_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->op_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->pdev->dev.pins->p->dev->power.links_count 0-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->rx_dma.ch->dbg_client_name 0
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->rx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->syscon->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->syscon->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->tx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.request 0-4
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 priv->spi->controller->dev.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 priv->spi->controller->dma_rx->client_count 1-s32max
PARAM_VALUE 0 priv->spi->controller->dma_tx->client_count 1-s32max
PARAM_VALUE 0 priv->spi->controller->fallback 0
PARAM_VALUE 0 priv->spi->controller->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->spi->controller->io_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->spi->controller->pump_messages.worker->lock.owner_cpu 0
PARAM_VALUE 0 priv->spi->controller->queue_empty 0
PARAM_VALUE 0 priv->tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
CAPPED_DATA 0 &priv->tx_pending 1
DATA_SOURCE 0 priv $0
PARAM_COMPARE 0 &priv->tx_pending != $0->tx_pending.next
HOST_DATA 0 priv->spi->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 priv->spi->controller->dev.driver_data->para 0-255
LOCK2 0 &priv->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct p54s_priv)->mutex