Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/display/drm_dp_mst_topology.c drm_dp_mst_wait_tx_reply() -> drm_dp_mst_dump_sideband_msg_tx()

Type Parameter Key Value
PARAM_VALUE 0 p 2050591487427035136
PARAM_VALUE 1 txmsg 4096-ptr_max
PARAM_VALUE 1 txmsg->msg 4096-ptr_max
PARAM_VALUE 1 txmsg->next.next 0,4096-ptr_max
PARAM_VALUE 1 txmsg->state 0-s32max
PARAM_VALUE 1 *txmsg->msg 0-255
BUF_SIZE 1 txmsg 768
DATA_SOURCE 1 txmsg $1
FUZZY_MAX 1 txmsg->state 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 txmsg->cur_len 6-36[c]
USER_DATA 1 txmsg->cur_len 6-20[c][u]
LOCK2 &mgr->qlock
HALF_LOCKED2 &mgr->base.lock.mutex
HALF_LOCKED2 &mgr->probe_lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->qlock

drivers/gpu/drm/display/drm_dp_mst_topology.c drm_dp_queue_down_tx() -> drm_dp_mst_dump_sideband_msg_tx()

Type Parameter Key Value
PARAM_VALUE 0 p 3532992997061414912
PARAM_VALUE 1 txmsg 4096-ptr_max
PARAM_VALUE 1 txmsg->msg 4096-ptr_max
PARAM_VALUE 1 *txmsg->msg 0-255
BUF_SIZE 1 txmsg 768
DATA_SOURCE 1 txmsg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 txmsg->cur_len 6-36[c]
USER_DATA 1 txmsg->cur_len 6-20[c][u]
LOCK2 &mgr->qlock
HALF_LOCKED2 &mgr->base.lock.mutex
HALF_LOCKED2 &mgr->probe_lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->qlock

drivers/gpu/drm/display/drm_dp_mst_topology.c process_single_tx_qlock() -> drm_dp_mst_dump_sideband_msg_tx()

Type Parameter Key Value
PARAM_VALUE 0 p 8089494998424772608
PARAM_VALUE 0 p->printfn 4096-ptr_max
PARAM_VALUE 1 txmsg 4096-ptr_max
PARAM_VALUE 1 txmsg->msg 4096-ptr_max
PARAM_VALUE 1 txmsg->state s32min-(-1),1,3-s32max
PARAM_VALUE 1 *txmsg->msg 0-255
BUF_SIZE 1 txmsg (-1),768
BUF_SIZE 1 txmsg (-1),768
DATA_SOURCE 1 txmsg $1
FUZZY_MAX 1 txmsg->state 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mgr->qlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->qlock