Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/display/drm_dp_helper.c drm_dp_read_dpcd_caps() -> drm_dp_read_extended_dpcd_caps()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
PARAM_VALUE 0 aux->hw_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 aux->hw_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 1 dpcd 4096-ptr_max
BUF_SIZE 0 aux (-1),2992
BUF_SIZE 0 aux (-1),2992
BUF_SIZE 1 dpcd 15,64
BUF_SIZE 1 dpcd 15,64
DATA_SOURCE 0 aux $0
DATA_SOURCE 1 dpcd $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mgr->base.lock
HALF_LOCKED2 &mgr->lock
HALF_LOCKED2 &outp->dp.hpd_irq_lock
HALF_LOCKED2 _T->lock