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() -> check_txmsg_state()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 1 txmsg 4096-ptr_max
BUF_SIZE 1 txmsg 768
DATA_SOURCE 1 txmsg $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 txmsg->cur_len 6-36[c]
USER_DATA 1 txmsg->cur_len 6-20[c][u]
HALF_LOCKED2 &mgr->base.lock.mutex
HALF_LOCKED2 &mgr->probe_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 1 txmsg 4096-ptr_max
PARAM_VALUE 1 txmsg->state 0-2,5-s32max
BUF_SIZE 1 txmsg 768
DATA_SOURCE 1 txmsg $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 txmsg->cur_len 6-36[c]
USER_DATA 1 txmsg->cur_len 6-20[c][u]
HALF_LOCKED2 &mgr->base.lock.mutex
HALF_LOCKED2 &mgr->probe_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 1 txmsg 4096-ptr_max
PARAM_VALUE 1 txmsg->state 0-2,5-s32max
BUF_SIZE 1 txmsg 768
DATA_SOURCE 1 txmsg $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 txmsg->cur_len 6-36[c]
USER_DATA 1 txmsg->cur_len 6-20[c][u]
HALF_LOCKED2 &mgr->base.lock.mutex
HALF_LOCKED2 &mgr->probe_lock