Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/tiny/repaper.c repaper_pipe_enable() -> repaper_read_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->bus_lock_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->brdv | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->completed_cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->dbg_client_name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->device->owner->state | 0-1,3-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->device->ref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->route_data | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->slave | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spr | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->syscon->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->syscon->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->completed_cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->dbg_client_name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->device->owner->state | 0-1,3-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->device->ref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->route_data | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->slave | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->use_pclk | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | spi->controller->dma_rx->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dma_tx->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->kworker->work_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->kworker->work_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->pump_messages.node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *spi->controller->cur_msg->context->lp->state_complete.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->cur_msg->context->msg.opt_state | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->dev.driver_data->sram_rx_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | reg | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->ctx.modulctrl | 0-4294967291[c] |
| HOST_DATA | 0 | spi->controller->dev.driver_data->para | 0-255 |
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &state->dev->mode_config.connection_mutex | ||
| HALF_LOCKED2 | &state->dev->mode_config.connection_mutex.mutex |
drivers/gpu/drm/tiny/repaper.c repaper_pipe_enable() -> repaper_read_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->bus_lock_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->bus_lock_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->brdv | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->op_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->completed_cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->dbg_client_name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->device->owner->state | 0-1,3-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->device->ref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->route_data | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->rx_dma.ch->slave | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spr | 0-255 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->syscon->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->syscon->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->completed_cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->cookie | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->dbg_client_name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->device->owner->state | 0-1,3-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->device->ref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->name | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->route_data | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->tx_dma.ch->slave | 0 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->use_pclk | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | spi->controller->dma_rx->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->dma_tx->client_count | 1-s32max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->kworker->work_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->kworker->work_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->pump_messages.node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *spi->controller->cur_msg->context->lp->state_complete.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->cur_msg->context->msg.opt_state | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->dev.driver_data->op_lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *spi->controller->dev.driver_data->sram_rx_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | reg | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->ctx.modulctrl | 0-4294967291[c] |
| HOST_DATA | 0 | spi->controller->dev.driver_data->para | 0-255 |
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &state->dev->mode_config.connection_mutex | ||
| HALF_LOCKED2 | &state->dev->mode_config.connection_mutex.mutex |