pixpaper_spi_sync identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/gpu/drm/tiny/pixpaper.c, line 528 (as a function)

Referenced in 1 files:

drivers/gpu/drm/tiny/pixpaper.c
- line 557
- line 577

Smatch caller information:

drivers/gpu/drm/tiny/pixpaper.c pixpaper_send_cmd() -> pixpaper_spi_sync()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	431263099224924160
PARAM_VALUE	1	msg->actual_length	0
PARAM_VALUE	1	msg->complete	0
PARAM_VALUE	1	msg->context	0
PARAM_VALUE	1	msg->frame_length	0
PARAM_VALUE	1	msg->offload	0
PARAM_VALUE	1	msg->opt_state	0
PARAM_VALUE	1	msg->optimized	0
PARAM_VALUE	1	msg->pre_optimized	0
PARAM_VALUE	1	msg->prepared	0
PARAM_VALUE	1	msg->queue.next	0
PARAM_VALUE	1	msg->queue.prev	0
PARAM_VALUE	1	msg->resources.next	4096-ptr_max
PARAM_VALUE	1	msg->resources.prev	4096-ptr_max
PARAM_VALUE	1	msg->spi	0
PARAM_VALUE	1	msg->state	0
PARAM_VALUE	1	msg->status	0
PARAM_VALUE	1	msg->transfers.prev	4096-ptr_max
PARAM_VALUE	2	err	3788436060321415168,4065631867841605632,8614031060628324352,9060826298887688192
PARAM_VALUE	2	err->errno_code	0
DATA_SOURCE	2	err	$2
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &drm_unplug_srcu

drivers/gpu/drm/tiny/pixpaper.c pixpaper_send_data() -> pixpaper_spi_sync()

Type	Parameter	Key	Value
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.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_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	spi->controller->bus_lock_spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->abort_failed	0
PARAM_VALUE	0	spi->controller->dev.driver_data->bits_per_word	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->brdv	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->byte_access	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->bytes_per_word	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->cfg_bus	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->cfg_spi	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->clk->core->parent->prepare_count	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->clk->core->parent->protect_count	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->clk->core->prepare_count	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->clk->core->protect_count	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->command2_reg	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->command_reg	0,6144-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->control_shadow	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->cs	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->cs_inactive	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->ctx.modulctrl	0-4294967291
PARAM_VALUE	0	spi->controller->dev.driver_data->cur_bits_per_word	0
PARAM_VALUE	0	spi->controller->dev.driver_data->cur_midi	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->data_completion.done	0
PARAM_VALUE	0	spi->controller->dev.driver_data->fifo_level	0
PARAM_VALUE	0	spi->controller->dev.driver_data->fifo_n_elm	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->freq	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->is_first_byte	1
PARAM_VALUE	0	spi->controller->dev.driver_data->last_cs	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->last_mode	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->last_msg_kept_cs	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->last_speed_hz	1-4294967294
PARAM_VALUE	0	spi->controller->dev.driver_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
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->task->blocked_on	0
PARAM_VALUE	0	spi->controller->dev.driver_data->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->mode	0-4294967295
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.osq.tail.counter	0-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->para	0-255
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->pinctrl->dev->power.links_count	0-4294967295
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->name	0
PARAM_VALUE	0	spi->controller->dev.driver_data->rx_fifo	3904198247229726720,4565237530177343488,6658731044705361920
PARAM_VALUE	0	spi->controller->dev.driver_data->spcmd	0-u16max
PARAM_VALUE	0	spi->controller->dev.driver_data->speed_hz	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->sppcr	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->spr	0-255
PARAM_VALUE	0	spi->controller->dev.driver_data->syscon->async	0
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->syscon->cache_dirty	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.deferred_resume	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.idle_notification	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.request	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.request_pending	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.runtime_error	s32min-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->parent->protect_count	0-4294967295
PARAM_VALUE	0	spi->controller->dev.driver_data->tclk->core->protect_count	0-4294967295
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_fifo	2510381515690913792,7461287794670727168,8282068689171869696
PARAM_VALUE	0	spi->controller->dev.driver_data->use_multi_mode	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->use_pclk	0-1
PARAM_VALUE	0	spi->controller->dev.driver_data->usedma	0-1
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->flush_color	s32min-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->wq->work_color	s32min-s32max
PARAM_VALUE	0	spi->controller->dev.driver_data->xfer_conf	0-2047
PARAM_VALUE	0	spi->controller->io_mutex.dep_map->name	0-255
PARAM_VALUE	0	spi->controller->io_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	spi->controller->kworker->work_list.prev	4096-ptr_max
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	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_empty	0
PARAM_VALUE	0	*spi->controller->cur_msg->context->lp->tx_skb->sk->sk_callback_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->pinctrl->dev->p->deferred_probe_reason	0-255
PARAM_VALUE	1	msg	5936172264151388160
PARAM_VALUE	1	msg->actual_length	0
PARAM_VALUE	1	msg->complete	0
PARAM_VALUE	1	msg->context	0
PARAM_VALUE	1	msg->frame_length	0
PARAM_VALUE	1	msg->offload	0
PARAM_VALUE	1	msg->opt_state	0
PARAM_VALUE	1	msg->optimized	0
PARAM_VALUE	1	msg->pre_optimized	0
PARAM_VALUE	1	msg->prepared	0
PARAM_VALUE	1	msg->queue.next	0
PARAM_VALUE	1	msg->queue.prev	0
PARAM_VALUE	1	msg->resources.next	4096-ptr_max
PARAM_VALUE	1	msg->resources.prev	4096-ptr_max
PARAM_VALUE	1	msg->spi	0
PARAM_VALUE	1	msg->state	0
PARAM_VALUE	1	msg->status	0
PARAM_VALUE	1	msg->transfers.prev	4096-ptr_max
PARAM_VALUE	2	err	3788436060321415168,8614031060628324352
PARAM_VALUE	2	err->errno_code	0
DATA_SOURCE	2	err	$2
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &drm_unplug_srcu