Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/amd-pstate.c amd_pstate_update_limits() -> sched_update_asym_prefer_cpu()

Type Parameter Key Value
PARAM_VALUE 1 old_prio 0-255
PARAM_VALUE 2 new_prio 0-254
CAPPED_DATA 1 old_prio 1
PARAM_COMPARE 1 old_prio != $2
PARAM_COMPARE 2 new_prio != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 new_prio 0-254
HALF_LOCKED2 &pool->lock