Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/intel_rps.c rps_set() -> vlv_rps_set()

Type Parameter Key Value
PARAM_VALUE 0 rps 4096-ptr_max
DATA_SOURCE 0 rps $0
DATA_SOURCE 1 val $1
PARAM_COMPARE 0 rps->last_freq > $1
PARAM_COMPARE 1 val < $0->last_freq
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 rps->boost_freq 0-255
HOST_DATA 0 rps->cur_freq 0-255
HOST_DATA 0 rps->efficient_freq 0-255
HOST_DATA 0 rps->ei.media_c0 0-u32max
HOST_DATA 0 rps->ei.render_c0 0-u32max
HOST_DATA 0 rps->idle_freq 0-255
HOST_DATA 0 rps->ips.corr 0-255
HOST_DATA 0 rps->ips.last_count1 0-12884901885
HOST_DATA 0 rps->ips.last_count2 0-u32max
HOST_DATA 0 rps->max_freq 1-255
HOST_DATA 0 rps->max_freq_softlimit 0-255
HOST_DATA 0 rps->min_freq 0-254[c]
HOST_DATA 0 rps->min_freq_softlimit 0-255
HOST_DATA 0 rps->rp0_freq 0-255
HOST_DATA 0 rps->rp1_freq 0-255
HOST_DATA 1 val 0-254[c]
USER_DATA 0 rps->max_freq_softlimit 0-255[c]
USER_DATA 0 rps->min_freq_softlimit 0-255[c]
USER_DATA 1 val 1-255[c]
NO_OVERFLOW_SIMPLE 0 rps->cur_freq
NO_OVERFLOW_SIMPLE 0 rps->last_freq
NO_OVERFLOW_SIMPLE 0 rps->max_freq_softlimit
NO_OVERFLOW_SIMPLE 0 rps->min_freq_softlimit
NO_OVERFLOW_SIMPLE 1 val
HALF_LOCKED2 &wf->mutex
HALF_LOCKED2 0 &rps->lock