Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/test-drivers/vivid/vivid-cec.c vivid_received() -> cec_msg_opcode()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->len 2-16
PARAM_VALUE 0 msg->msg 4096-ptr_max
DATA_SOURCE 0 msg $1
BIT_INFO 0 msg->rx_ts 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->len 2-16[c]
HALF_LOCKED2 &aux->cec.lock
HALF_LOCKED2 &pool->lock

drivers/media/test-drivers/vivid/vivid-cec.c vivid_received() -> cec_msg_opcode()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->len 2-16
PARAM_VALUE 0 msg->msg 4096-ptr_max
DATA_SOURCE 0 msg $1
BIT_INFO 0 msg->rx_ts 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->len 2-16[c]
HALF_LOCKED2 &aux->cec.lock
HALF_LOCKED2 &pool->lock

drivers/media/test-drivers/vivid/vivid-cec.c vivid_received() -> cec_msg_opcode()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->len 2-16
PARAM_VALUE 0 msg->msg 4096-ptr_max
DATA_SOURCE 0 msg $1
BIT_INFO 0 msg->rx_ts 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->len 2-16[c]
HALF_LOCKED2 &aux->cec.lock
HALF_LOCKED2 &pool->lock

drivers/media/cec/i2c/ch7322.c ch7322_send_message() -> cec_msg_opcode()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->len 1-16
DATA_SOURCE 0 msg $1
TASK_NOT_RUNNING
LOCK2 &adap->lock
LOCK2 &ch7322->mutex
TYPE_LOCK (struct cec_adapter)->lock
TYPE_LOCK (struct ch7322)->mutex