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_queue_down_tx() -> process_single_down_tx_qlock()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->qlock.dep_map->name 0-255
PARAM_VALUE 0 mgr->qlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mgr->qlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mgr->qlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 mgr->qlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mgr->qlock.wait_lock.owner (-1)
PARAM_VALUE 0 mgr->qlock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 mgr->tx_msg_downq.next 4096-ptr_max
PARAM_VALUE 0 mgr->tx_msg_downq.prev 4096-ptr_max
PARAM_VALUE 0 mgr->tx_msg_downq.prev->next 4096-ptr_max
PARAM_VALUE 0 mgr->tx_msg_downq.prev->next->next 4096-ptr_max
CAPPED_DATA 0 mgr->tx_msg_downq.next 1
CAPPED_DATA 0 mgr->tx_msg_downq.prev 1
CAPPED_DATA 0 &mgr->qlock 1
CAPPED_DATA 0 &mgr->tx_msg_downq 1
DATA_SOURCE 0 mgr $0
PARAM_COMPARE 0 mgr->tx_msg_downq.next == $0->tx_msg_downq.prev
PARAM_COMPARE 0 &mgr->tx_msg_downq != $0->tx_msg_downq.next
PARAM_COMPARE 0 &mgr->tx_msg_downq != $0->tx_msg_downq.prev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &mgr->qlock
HALF_LOCKED2 0 &mgr->base.lock.mutex
HALF_LOCKED2 0 &mgr->probe_lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->qlock

drivers/gpu/drm/display/drm_dp_mst_topology.c drm_dp_tx_work() -> process_single_down_tx_qlock()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->qlock.dep_map->name 0-255
PARAM_VALUE 0 mgr->qlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mgr->qlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mgr->qlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 mgr->qlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mgr->qlock.wait_lock.owner (-1)
PARAM_VALUE 0 mgr->qlock.wait_lock.owner_cpu u32max
CAPPED_DATA 0 &mgr->qlock 1
CAPPED_DATA 0 &mgr->tx_msg_downq 1
PARAM_COMPARE 0 &mgr->tx_msg_downq != $0->tx_msg_downq.next
NOCHECK_CALL
LOCK2 0 &mgr->qlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drm_dp_mst_topology_mgr)->qlock