Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/touchscreen/ad7877.c ad7877_probe() -> ad7877_read()

Type Parameter Key Value
PARAM_VALUE 0 spi 4096-ptr_max
PARAM_VALUE 0 spi->bits_per_word 1-255
PARAM_VALUE 0 spi->controller->dev.driver_data->cs_reg 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.deferred_resume 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.idle_notification 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.request 0-4
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.request_pending 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->imr 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->ioc_base 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->last_polarity 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->map->async 0
PARAM_VALUE 0 spi->controller->dev.driver_data->map->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->map->cache_dirty 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->mr 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 spi->controller->dev.driver_data->pclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->pending_slave_select 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->regmap->cache_dirty 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->scr 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->spi_cs_timing1 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->spi_cs_timing2 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->state 0-1
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_data->port->private_data->msg_pending 0-1
PARAM_VALUE 0 spi->controller_data->port->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 spi->controller_data->port->private_data->serial->disc_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 spi->controller_data->port->private_data->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 spi->controller_data->port->private_data->shadowDCR 0-255
PARAM_VALUE 0 spi->controller_data->port->private_data->syncmsg_compl->wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 spi->controller_data->port->private_data->syncmsg_compl.done 0-4294967295
PARAM_VALUE 0 spi->controller_data->port->private_data->syncmsg_compl.wait.lock.owner (-1)
PARAM_VALUE 0 spi->controller_data->port->private_data->syncmsg_compl.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 spi->controller_state->chconf0 0-4294967295
PARAM_VALUE 0 spi->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 spi->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 spi->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 spi->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 spi->dev.of_node->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 spi->dev.of_node->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 spi->dev.of_node->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 spi->irq 1-s32max
PARAM_VALUE 0 *spi->chip_select 0-255
PARAM_VALUE 0 *spi->controller->dev.driver_data->tx_buf 0-255
PARAM_VALUE 0 *spi->controller->last_cs (-128)-127
PARAM_VALUE 1 reg 13
CAPPED_DATA 0 spi->controller->max_speed_hz 1
DATA_SOURCE 0 spi $0
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
HOST_DATA 0 spi->controller->dev.driver_data->pending_slave_select 0-4294967295[c]