Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/perf/arm-cmn.c arm_cmn_pmu_offline_cpu() -> arm_cmn_migrate()

Type Parameter Key Value
PARAM_VALUE 0 cmn 4096-ptr_max
PARAM_VALUE 0 cmn->dev 4096-ptr_max
PARAM_VALUE 1 cpu 0-8192
CAPPED_DATA 0 cmn->cpu 1
CAPPED_DATA 1 cpu 1
CONSTRAINT 1 cpu <3035
NOCHECK_CALL

drivers/perf/arm-cmn.c arm_cmn_pmu_online_cpu() -> arm_cmn_migrate()

Type Parameter Key Value
PARAM_VALUE 0 cmn 4096-ptr_max
PARAM_VALUE 0 cmn->dev 4096-ptr_max
DATA_SOURCE 1 cpu $0
NOCHECK_CALL