cec_transmit_msg_fh identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/media/cec/core/cec-priv.h, line 52 (as a prototype)

Defined in 1 files as a function:

drivers/media/cec/core/cec-adap.c, line 808 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/media/cec/core/cec-api.c cec_transmit() -> cec_transmit_msg_fh()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap	4096-ptr_max
PARAM_VALUE	0	adap->devnode.registered	1
PARAM_VALUE	0	adap->lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	adap->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	adap->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	adap->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	adap->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	adap->log_addrs.num_log_addrs	1-255
PARAM_VALUE	1	msg	7827146736938606592
PARAM_VALUE	2	fh	4096-ptr_max
PARAM_VALUE	2	fh->adap	4096-ptr_max
PARAM_VALUE	2	fh->adap->devnode.registered	1
BUF_SIZE	2	fh	s32min-(-2),1-s32max
BUF_SIZE	2	fh	s32min-(-2),1-s32max
CAPPED_DATA	0	&adap->lock	1
CAPPED_DATA	2	fh	1
DATA_SOURCE	0	adap	$0
DATA_SOURCE	2	fh	$1
DATA_SOURCE	3	block	$2
PARAM_COMPARE	0	adap->cec_follower	<= $2
PARAM_COMPARE	0	adap->cec_initiator	<= $2
PARAM_COMPARE	2	fh	>= $0->cec_follower
PARAM_COMPARE	2	fh	>= $0->cec_initiator
BIT_INFO	0	adap->capabilities	0x4,0xffffffffffffffff
USER_DATA	1	msg->flags	0-u32max
USER_DATA	1	msg->len	0-u32max
USER_DATA	1	msg->reply	0-255
USER_DATA	1	msg->rx_status	0-255
USER_DATA	1	msg->rx_ts	0-u64max
USER_DATA	1	msg->sequence	0-u32max
USER_DATA	1	msg->timeout	0-u32max
USER_DATA	1	msg->tx_arb_lost_cnt	0-255
USER_DATA	1	msg->tx_error_cnt	0-255
USER_DATA	1	msg->tx_low_drive_cnt	0-255
USER_DATA	1	msg->tx_nack_cnt	0-255
USER_DATA	1	msg->tx_status	0-255
USER_DATA	1	msg->tx_ts	0-u64max
USER_PTR	1	msg->msg
LOCK2	0	&adap->lock
TYPE_LOCK		(struct cec_adapter)->lock

drivers/media/cec/core/cec-adap.c cec_config_log_addr() -> cec_transmit_msg_fh()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap	4096-ptr_max
PARAM_VALUE	0	adap->lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->lock.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	adap->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->log_addrs.log_addr	4096-ptr_max
PARAM_VALUE	0	adap->log_addrs.log_addr_type	4096-ptr_max
PARAM_VALUE	0	adap->log_addrs.num_log_addrs	1-255
PARAM_VALUE	1	msg	6222482328604385280
PARAM_VALUE	2	fh	0
PARAM_VALUE	3	block	1
BUF_SIZE	0	adap	128
BUF_SIZE	0	adap	128
DATA_SOURCE	0	adap	$0
LOCK2	0	&adap->lock
TYPE_LOCK		(struct cec_adapter)->lock

drivers/media/cec/core/cec-adap.c cec_config_thread_func() -> cec_transmit_msg_fh()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap	4096-ptr_max
PARAM_VALUE	0	adap->devnode.lock_fhs.dep_map->name	0-255
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	adap->devnode.lock_fhs.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	adap->devnode.lock_fhs.osq.tail.counter	0-s32max
PARAM_VALUE	0	adap->is_configured	1
PARAM_VALUE	0	adap->is_configuring	0
PARAM_VALUE	0	adap->lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->lock.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	adap->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->log_addrs.cec_version	6-255
PARAM_VALUE	0	adap->log_addrs.log_addr	4096-ptr_max
PARAM_VALUE	0	adap->log_addrs.log_addr_mask	1-u16max
PARAM_VALUE	0	adap->log_addrs.log_addr_type	4096-ptr_max
PARAM_VALUE	0	adap->log_addrs.num_log_addrs	1-255
PARAM_VALUE	0	adap->must_reconfigure	0
PARAM_VALUE	1	msg	6961552908519108608
PARAM_VALUE	1	msg->flags	0
PARAM_VALUE	1	msg->len	5-u32max
PARAM_VALUE	1	msg->reply	0
PARAM_VALUE	1	msg->rx_status	0
PARAM_VALUE	1	msg->rx_ts	0
PARAM_VALUE	1	msg->sequence	0
PARAM_VALUE	1	msg->timeout	0
PARAM_VALUE	1	msg->tx_arb_lost_cnt	0
PARAM_VALUE	1	msg->tx_error_cnt	0
PARAM_VALUE	1	msg->tx_low_drive_cnt	0
PARAM_VALUE	1	msg->tx_nack_cnt	0
PARAM_VALUE	1	msg->tx_status	0
PARAM_VALUE	1	msg->tx_ts	0
PARAM_VALUE	2	fh	0
PARAM_VALUE	3	block	0
BUF_SIZE	0	adap	128
BUF_SIZE	0	adap	128
CAPPED_DATA	0	&adap->lock	1
DATA_SOURCE	0	adap	$0
FUZZY_MAX	0	adap->log_addrs.cec_version	6
FUZZY_MAX	0	adap->log_addrs.log_addr_mask	32768
NOCHECK_CALL
LOCK2	0	&adap->lock
TYPE_LOCK		(struct cec_adapter)->lock

drivers/media/cec/core/cec-adap.c cec_transmit_msg() -> cec_transmit_msg_fh()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap->cec_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	adap->cec_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	adap->cec_dir->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	adap->cec_dir->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->cec_dir->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->cec_dir->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->cec_dir->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->cec_dir->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->cec_dir->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	adap->cec_dir->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	adap->cec_dir->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	adap->cec_dir->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->cec_dir->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->cec_dir->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->cec_dir->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->cec_dir->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	adap->cec_dir->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	adap->devnode.dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	adap->devnode.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	adap->lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	adap->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	adap->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	adap->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	adap->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	adap->ops->received	0,790154886922752000,4760495921621139456,6824051600766218240
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->flags	0
PARAM_VALUE	1	msg->len	2-u32max
PARAM_VALUE	1	msg->reply	0,144,168
PARAM_VALUE	1	msg->rx_status	0
PARAM_VALUE	1	msg->rx_ts	0
PARAM_VALUE	1	msg->sequence	0
PARAM_VALUE	1	msg->timeout	0
PARAM_VALUE	1	msg->tx_arb_lost_cnt	0
PARAM_VALUE	1	msg->tx_error_cnt	0
PARAM_VALUE	1	msg->tx_low_drive_cnt	0
PARAM_VALUE	1	msg->tx_nack_cnt	0
PARAM_VALUE	1	msg->tx_status	0
PARAM_VALUE	1	msg->tx_ts	0
PARAM_VALUE	2	fh	0
PARAM_VALUE	3	block	0
BUF_SIZE	0	adap	(-1),128
BUF_SIZE	0	adap	(-1),128
CAPPED_DATA	0	&adap->lock	1
DATA_SOURCE	0	adap	$0
DATA_SOURCE	1	msg	$1
DATA_SOURCE	3	block	$2
HARD_MAX	1	msg->reply	168
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	msg->len	2-16[c]
NO_OVERFLOW_SIMPLE	0	adap->rc->raw->thread->dl.pi_se->dl_runtime
LOCK2	0	&adap->lock
TYPE_LOCK		(struct cec_adapter)->lock