linedisp_display identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/auxdisplay/line-display.c, line 152

Defined in 1 files as a function:

drivers/auxdisplay/line-display.c, line 164 (as a function)

Referenced in 1 files:

drivers/auxdisplay/line-display.c

Smatch caller information:

drivers/auxdisplay/line-display.c linedisp_attach() -> linedisp_display()

Type	Parameter	Key	Value
PARAM_VALUE	0	linedisp	4096-ptr_max
PARAM_VALUE	0	linedisp->buf	0
PARAM_VALUE	0	linedisp->map	0
PARAM_VALUE	0	linedisp->num_chars	0
PARAM_VALUE	0	linedisp->ops	0
PARAM_VALUE	0	linedisp->ops->get_map_type	0,1359482289268789248,5484989277804343296,7718962438745235456
PARAM_VALUE	0	linedisp->scroll_rate	0
PARAM_VALUE	0	linedisp->timer.entry.pprev	0
PARAM_VALUE	0	linedisp->timer.flags	0
PARAM_VALUE	0	linedisp->timer.lockdep_map->name	0-255
PARAM_VALUE	1	msg	4602998933304729600
PARAM_VALUE	2	count	(-1)
DATA_SOURCE	0	linedisp	$0
STR_LEN	0	linedisp	0
TERMINATED	1	msg	1
MEM_ZERO	0	linedisp

drivers/auxdisplay/line-display.c linedisp_register() -> linedisp_display()

Type	Parameter	Key	Value
PARAM_VALUE	0	linedisp	4096-ptr_max
PARAM_VALUE	0	linedisp->buf	0
PARAM_VALUE	0	linedisp->dev.devres_head.next	0
PARAM_VALUE	0	linedisp->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.devres_head.prev	0
PARAM_VALUE	0	linedisp->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_mem	0
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_mem->defpool.nareas	0-s32max
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_mem->dyn_alloc.data.counter	0,9007199250546704
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_mem->pools.prev	0,1473117533515866408
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_pools.next	0
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_pools.prev	0
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_pools.next	0
PARAM_VALUE	0	linedisp->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_pools.prev	0
PARAM_VALUE	0	linedisp->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.dma_uses_io_tlb	0
PARAM_VALUE	0	linedisp->dev.flags	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.kobj.entry.next	0
PARAM_VALUE	0	linedisp->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.kobj.entry.prev	0
PARAM_VALUE	0	linedisp->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.kobj.kset	0
PARAM_VALUE	0	linedisp->dev.kobj.ktype	0
PARAM_VALUE	0	linedisp->dev.kobj.name	0
PARAM_VALUE	0	linedisp->dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	linedisp->dev.kobj.state_initialized	0
PARAM_VALUE	0	linedisp->dev.links.consumers.next	0
PARAM_VALUE	0	linedisp->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.consumers.prev	0
PARAM_VALUE	0	linedisp->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.defer_sync.next	0
PARAM_VALUE	0	linedisp->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.defer_sync.prev	0
PARAM_VALUE	0	linedisp->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.status	0
PARAM_VALUE	0	linedisp->dev.links.suppliers.next	0
PARAM_VALUE	0	linedisp->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.suppliers.prev	0
PARAM_VALUE	0	linedisp->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.numa_node	0
PARAM_VALUE	0	linedisp->dev.parent	0
PARAM_VALUE	0	linedisp->dev.parent->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.child_count.counter	0
PARAM_VALUE	0	linedisp->dev.power.deferred_resume	0
PARAM_VALUE	0	linedisp->dev.power.disable_depth	0
PARAM_VALUE	0	linedisp->dev.power.early_init	0
PARAM_VALUE	0	linedisp->dev.power.entry.next	0
PARAM_VALUE	0	linedisp->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.entry.prev	0
PARAM_VALUE	0	linedisp->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.idle_notification	0
PARAM_VALUE	0	linedisp->dev.power.ignore_children	0
PARAM_VALUE	0	linedisp->dev.power.is_late_suspended	0
PARAM_VALUE	0	linedisp->dev.power.is_noirq_suspended	0
PARAM_VALUE	0	linedisp->dev.power.is_prepared	0
PARAM_VALUE	0	linedisp->dev.power.is_suspended	0
PARAM_VALUE	0	linedisp->dev.power.last_status	0
PARAM_VALUE	0	linedisp->dev.power.needs_force_resume	0
PARAM_VALUE	0	linedisp->dev.power.qos	0
PARAM_VALUE	0	linedisp->dev.power.request	0
PARAM_VALUE	0	linedisp->dev.power.request_pending	0
PARAM_VALUE	0	linedisp->dev.power.runtime_auto	0
PARAM_VALUE	0	linedisp->dev.power.runtime_error	0
PARAM_VALUE	0	linedisp->dev.power.runtime_status	0
PARAM_VALUE	0	linedisp->dev.power.timer_expires	0
PARAM_VALUE	0	linedisp->dev.power.usage_count.counter	0
PARAM_VALUE	0	linedisp->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	linedisp->dev.type	0
PARAM_VALUE	0	linedisp->id	0
PARAM_VALUE	0	linedisp->map	0
PARAM_VALUE	0	linedisp->num_chars	0
PARAM_VALUE	0	linedisp->ops	0
PARAM_VALUE	0	linedisp->ops->get_map_type	0,1359482289268789248,5484989277804343296,7718962438745235456
PARAM_VALUE	0	linedisp->scroll_rate	0
PARAM_VALUE	0	linedisp->timer.entry.pprev	0
PARAM_VALUE	0	linedisp->timer.flags	0
PARAM_VALUE	0	linedisp->timer.lockdep_map->name	0-255
PARAM_VALUE	1	msg	4602998933304729600
PARAM_VALUE	2	count	(-1)
BUF_SIZE	0	linedisp	(-1),1760
BUF_SIZE	0	linedisp	(-1),1760
DATA_SOURCE	0	linedisp	$0
STR_LEN	0	linedisp	0
TERMINATED	1	msg	1
MEM_ZERO	0	linedisp
MEM_ZERO	0	&linedisp->dev
RX_PATH
TASK_NOT_RUNNING

drivers/auxdisplay/line-display.c message_store() -> linedisp_display()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	2	count	1-1000000000
CAPPED_DATA	2	count	1
DATA_SOURCE	0	linedisp	r to_linedisp
DATA_SOURCE	1	msg	$2
DATA_SOURCE	2	count	$3
NOSPEC	2	count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST	1	==msg2	8052
LOCK2		&of->mutex
HALF_LOCKED2		&of->prealloc_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct kernfs_open_file)->mutex