Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_cdclk.c intel_set_cdclk() -> intel_cdclk_set_cdclk()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 0 display->cdclk.funcs 4096-ptr_max
PARAM_VALUE 0 display->cdclk.funcs->set_cdclk 981987470656221184,2279366636571783168,7605838049097428992,7713557352659574784,8715991085883871232
PARAM_VALUE 0 display->drm 0,4096-ptr_max
PARAM_VALUE 0 display->gmbus.mutex.dep_map->name 0-255
PARAM_VALUE 0 display->gmbus.mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 display->gmbus.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 display->gmbus.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 display->gmbus.mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 display->gmbus.mutex.wait_lock.owner (-1)
PARAM_VALUE 0 display->gmbus.mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 display->wl.taken 1
PARAM_VALUE 0 display->wl.work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 display->wl.work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 display->wl.work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 cdclk_config 4096-ptr_max
CAPPED_DATA 0 &display->gmbus.mutex 1
DATA_SOURCE 0 display $0
DATA_SOURCE 1 cdclk_config $1
DATA_SOURCE 2 pipe $2
STR_LEN 0 display 21-22
STR_LEN 0 display 21-22
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &display->gmbus.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct intel_display)->gmbus.mutex