Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi.c spi_controller_initialize_queue() -> spi_destroy_queue()

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 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.bus 0,4096-ptr_max
PARAM_VALUE 0 ctlr->dev.class 0,4096-ptr_max
PARAM_VALUE 0 ctlr->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctlr->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 ctlr->dev.driver 0,4096-ptr_max
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.fwnode->suppliers.next->next 4096-ptr_max
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.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.open->nr_mmapped 0-4294967295
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.physical_location->horizontal_position 0-3
PARAM_VALUE 0 ctlr->dev.physical_location->panel 0-7
PARAM_VALUE 0 ctlr->dev.physical_location->vertical_position 0-3
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.dep_map->name 0-255
PARAM_VALUE 0 ctlr->kworker->lock.owner (-1)
PARAM_VALUE 0 ctlr->kworker->lock.owner_cpu u32max
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->kworker->work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctlr->kworker->work_list.prev->next->next 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->pump_messages.canceling 0
PARAM_VALUE 0 ctlr->pump_messages.func 0
PARAM_VALUE 0 ctlr->pump_messages.node.next 0,4096-ptr_max
PARAM_VALUE 0 ctlr->pump_messages.worker 0,4096-ptr_max
PARAM_VALUE 0 ctlr->pump_messages.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 ctlr->queue_empty 1
PARAM_VALUE 0 ctlr->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->queued 1
PARAM_VALUE 0 ctlr->running 1
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->mem_caps (-1),6
BUF_SIZE 0 ctlr->mem_ops (-1)-0,72
CAPPED_DATA 0 ctlr->kworker 1
DATA_SOURCE 0 ctlr $0
FUZZY_MAX 0 ctlr->max_dma_len s32max
MEM_ZERO 0 ctlr->pump_messages.func
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

drivers/spi/spi.c spi_unregister_controller() -> spi_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
PARAM_VALUE 0 ctlr->add_lock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->add_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctlr->add_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctlr->add_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctlr->add_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->add_lock.wait_lock.owner (-1)
PARAM_VALUE 0 ctlr->add_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ctlr->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctlr->queued 1
PARAM_VALUE 0 ctlr->userspace_registered 0
BUF_SIZE 0 ctlr s32min-(-1),1-s32max
BUF_SIZE 0 ctlr s32min-(-1),1-s32max
CAPPED_DATA 0 &ctlr->add_lock 1
CAPPED_DATA 0 &ctlr->userspace_clients 1
DATA_SOURCE 0 ctlr $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ctlr unit_byte
LOCK2 0 &ctlr->add_lock
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &dev->vb_queue_lock
TYPE_LOCK (struct spi_controller)->add_lock