Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi.c __spi_setup() -> spi_set_thread_rt()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.driver_data->cs_reg 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.idle_notification 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.request 0-4
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.request_pending 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->imr 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->ioc_base 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->last_polarity 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->map->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->map->cache_dirty 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->mr 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ctlr->dev.driver_data->pclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->pending_slave_select 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->regmap->cache_dirty 0-1
PARAM_VALUE 0 ctlr->dev.driver_data->scr 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->spi_cs_timing1 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->spi_cs_timing2 0-4294967295
PARAM_VALUE 0 ctlr->dev.driver_data->state 0-1
PARAM_VALUE 0 ctlr->dev.parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctlr->io_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ctlr->io_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ctlr->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctlr->io_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->rt 1
PARAM_VALUE 0 *ctlr->dev.driver_data->regmap->cache->data 0-4294967295
PARAM_VALUE 0 *ctlr->dev.driver_data->tx_buf 0-255
PARAM_VALUE 0 *ctlr->last_cs (-128)-127
BUF_SIZE 0 ctlr (-1),3-6,8,12,16,24,32,56,64,80,112,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,2360,2864-5728
BUF_SIZE 0 ctlr (-1),3-6,8,12,16,24,32,56,64,80,112,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,2360,2864-5728
CAPPED_DATA 0 ctlr->max_speed_hz 1
CAPPED_DATA 0 &ctlr->io_mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctlr->dev.driver_data->pending_slave_select 0-4294967295[c]
HOST_DATA 0 ctlr->num_chipselect 1-32[c]
HOST_DATA 0 ctlr->num_data_lanes 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 ctlr->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 ctlr->num_chipselect
HALF_LOCKED2 0 &ctlr->bus_lock_mutex

drivers/spi/spi.c spi_init_queue() -> spi_set_thread_rt()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
PARAM_VALUE 0 ctlr->bus_lock_flag 0
PARAM_VALUE 0 ctlr->busy 0
PARAM_VALUE 0 ctlr->cur_msg_completion.done 0
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctlr->cur_msg_completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 ctlr->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 ctlr->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 ctlr->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 ctlr->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctlr->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 ctlr->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 ctlr->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 ctlr->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 ctlr->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ctlr->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 ctlr->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 ctlr->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctlr->dev.p->dead 0-1
PARAM_VALUE 0 ctlr->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 ctlr->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 ctlr->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 ctlr->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 ctlr->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 ctlr->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ctlr->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 ctlr->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 ctlr->dev.physical_location->dock 0
PARAM_VALUE 0 ctlr->dev.physical_location->lid 0
PARAM_VALUE 0 ctlr->dev.physical_location->panel 0
PARAM_VALUE 0 ctlr->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->dma_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->kworker 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->current_work 0
PARAM_VALUE 0 ctlr->kworker->delayed_work_list.next 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->delayed_work_list.prev 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->flags 0
PARAM_VALUE 0 ctlr->kworker->lock.magic 3735899821
PARAM_VALUE 0 ctlr->kworker->lock.owner (-1)
PARAM_VALUE 0 ctlr->kworker->lock.owner_cpu u32max
PARAM_VALUE 0 ctlr->kworker->lock.raw_lock.locked 0
PARAM_VALUE 0 ctlr->kworker->lock.raw_lock.pending 0
PARAM_VALUE 0 ctlr->kworker->lock.raw_lock.tail 0
PARAM_VALUE 0 ctlr->kworker->task 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->work_list.next 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->work_list.prev 4096-ptr_max
PARAM_VALUE 0 ctlr->last_cs 4096-ptr_max
PARAM_VALUE 0 ctlr->max_dma_len 1-u64max
PARAM_VALUE 0 ctlr->mem_ops 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->adjust_op_size 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->dirmap_create 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->dirmap_destroy 0
PARAM_VALUE 0 ctlr->mem_ops->dirmap_read 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->dirmap_write 0,715988303612325888,4273826429031796736,4713989647023087616,5615016919625822208,8023549245281587200
PARAM_VALUE 0 ctlr->mem_ops->exec_op 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->get_name 0,4096-ptr_max
PARAM_VALUE 0 ctlr->mem_ops->poll_status 0,1805854965638074368,5682553516745547776
PARAM_VALUE 0 ctlr->mem_ops->supports_op 0,4096-ptr_max
PARAM_VALUE 0 ctlr->num_chipselect 1-u16max
PARAM_VALUE 0 ctlr->queue_empty 1
PARAM_VALUE 0 ctlr->rt 1
PARAM_VALUE 0 ctlr->running 0
PARAM_VALUE 0 ctlr->transfer 9138914369513365504
PARAM_VALUE 0 ctlr->transfer_one_message 1-u64max
PARAM_VALUE 0 ctlr->xfer_completion.done 0
PARAM_VALUE 0 ctlr->xfer_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 ctlr->xfer_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ctlr->xfer_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ctlr->xfer_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ctlr->xfer_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctlr->xfer_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ctlr->xfer_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctlr->xfer_completion.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 ctlr 2864-5728
BUF_SIZE 0 ctlr 2864-5728
BUF_SIZE 0 ctlr->dma_rx->slave (-1),1616
BUF_SIZE 0 ctlr->dma_tx->slave (-1),1616
BUF_SIZE 0 ctlr->kworker (-1),128
BUF_SIZE 0 ctlr->mem_caps (-1),6
BUF_SIZE 0 ctlr->mem_ops (-1)-0,72
DATA_SOURCE 0 ctlr $0
FUZZY_MAX 0 ctlr->max_dma_len s32max
MEM_ZERO 0 &ctlr->pump_messages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctlr->num_chipselect 1-32[c]
HOST_DATA 0 ctlr->num_data_lanes 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 ctlr->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 ctlr->num_chipselect