Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/cec/platform/cros-ec/cros-ec-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 0-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/gpu/drm/omapdrm/dss/hdmi4_cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4059765001693065216
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->len 2-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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg->len 2-16[c]
HALF_LOCKED2 _T->lock

drivers/media/cec/i2c/tda9950.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 0-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/i2c/adv7511-v4l2.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 8133153225063530496
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/cec/platform/stm32/stm32-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/media/cec/platform/seco/seco-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 6164388902337474560
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->len 1-16
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpu/drm/display/drm_dp_cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap 1-u64max
PARAM_VALUE 1 msg 5577463286613688320
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &aux->cec.lock
HALF_LOCKED2 &aconnector->hpd_lock
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drm_dp_aux_cec)->lock

drivers/media/cec/platform/s5p/s5p_cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/test-drivers/vivid/vivid-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 561518900888195072
PARAM_VALUE 1 msg->reply 0
PARAM_VALUE 1 msg->rx_status 0-1
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/cec/usb/rainshadow/rainshadow-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap->rc->input_dev->mt->slot s32min-s32max
PARAM_VALUE 1 msg 7331115416027549696
PARAM_VALUE 1 msg->flags 0
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/i2c/adv7604.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 5745956659665235968
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/cec/usb/extron-da-hd-4k-plus/extron-da-hd-4k-plus.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/cec/core/cec-pin.c cec_pin_thread_func() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap 4096-ptr_max
PARAM_VALUE 0 adap->ops->received 0,790154886922752000,4760495921621139456,6824051600766218240
PARAM_VALUE 0 adap->pin 4096-ptr_max
PARAM_VALUE 0 adap->pin->enable_irq_failed 0
PARAM_VALUE 0 adap->pin->enabled_irq 0
PARAM_VALUE 0 adap->pin->ops->enable_irq 0,1802362903115010048
PARAM_VALUE 0 adap->pin->ops->high 3394827960919592960,8357152380496666624
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 0-16
BUF_SIZE 0 adap 128
BUF_SIZE 0 adap 128
BUF_SIZE 1 msg 56
DATA_SOURCE 0 adap $0
FUZZY_MAX 1 msg->len 16
NOCHECK_CALL

drivers/gpu/drm/bridge/synopsys/dw-hdmi-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/platform/synopsys/hdmirx/snps_hdmirx_cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/gpu/drm/display/drm_hdmi_cec_helper.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/cec/platform/meson/ao-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/media/cec/platform/tegra/tegra_cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 6034211533222457344
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->len 0-255
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/media/cec/usb/pulse8/pulse8-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/cec/platform/sti/stih-cec.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 7761052169127567360
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->len 1-16
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg->len 1-16[c]
HALF_LOCKED2 _T->lock

drivers/media/i2c/adv7842.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 8136876999024730112
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/cec/i2c/ch7322.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 0 adap->pin->monitor_all 0-1
PARAM_VALUE 1 msg 1016847562351382528
PARAM_VALUE 1 msg->len 1-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/media/cec/platform/meson/ao-cec-g12a.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 0-16
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/media/i2c/tc358743.c cec_received_msg() -> cec_received_msg_ts()

Type Parameter Key Value
PARAM_VALUE 1 msg 3417236223754887168
PARAM_VALUE 1 msg->flags 0
PARAM_VALUE 1 msg->len 0,16
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
DATA_SOURCE 0 adap $0
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL