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_handle_down_rep() -> reset_msg_rx_state()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->curchunk_hdrlen 0
PARAM_VALUE 0 msg->curchunk_idx 0
PARAM_VALUE 0 msg->curchunk_len 0
PARAM_VALUE 0 msg->curlen 0
PARAM_VALUE 0 msg->have_eomt 0
PARAM_VALUE 0 msg->have_somt 0
PARAM_VALUE 0 msg->initial_hdr.broadcast 0
PARAM_VALUE 0 msg->initial_hdr.eomt 0
PARAM_VALUE 0 msg->initial_hdr.lcr 0
PARAM_VALUE 0 msg->initial_hdr.lct 0
PARAM_VALUE 0 msg->initial_hdr.msg_len 0
PARAM_VALUE 0 msg->initial_hdr.path_msg 0
PARAM_VALUE 0 msg->initial_hdr.seqno 0
PARAM_VALUE 0 msg->initial_hdr.somt 0
BUF_SIZE 0 msg 326
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &aconnector->handle_mst_msg_ready
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/display/drm_dp_mst_topology.c drm_dp_mst_handle_up_req() -> reset_msg_rx_state()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->curchunk_hdrlen 0
PARAM_VALUE 0 msg->curchunk_idx 0
PARAM_VALUE 0 msg->curchunk_len 0
PARAM_VALUE 0 msg->curlen 0
PARAM_VALUE 0 msg->have_eomt 0
PARAM_VALUE 0 msg->have_somt 0
PARAM_VALUE 0 msg->initial_hdr.broadcast 0
PARAM_VALUE 0 msg->initial_hdr.eomt 0
PARAM_VALUE 0 msg->initial_hdr.lcr 0
PARAM_VALUE 0 msg->initial_hdr.lct 0
PARAM_VALUE 0 msg->initial_hdr.msg_len 0
PARAM_VALUE 0 msg->initial_hdr.path_msg 0
PARAM_VALUE 0 msg->initial_hdr.seqno 0
PARAM_VALUE 0 msg->initial_hdr.somt 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &aconnector->handle_mst_msg_ready
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/display/drm_dp_mst_topology.c update_msg_rx_state() -> reset_msg_rx_state()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mgr->lock
HALF_LOCKED2 &aconnector->handle_mst_msg_ready
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->lock

drivers/gpu/drm/display/drm_dp_mst_topology.c update_msg_rx_state() -> reset_msg_rx_state()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mgr->lock
HALF_LOCKED2 &aconnector->handle_mst_msg_ready
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->lock