Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/proc/stat.c kcpustat_cpu_fetch() -> kcpustat_cpu_fetch_default()

Type Parameter Key Value
PARAM_VALUE 0 dst 1883550851077111808
PARAM_VALUE 1 cpu 0-64
CAPPED_DATA 1 cpu 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 cpu $1
CONSTRAINT 1 cpu <3035
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &p->lock
TYPE_LOCK (struct seq_file)->lock

kernel/watchdog.c kcpustat_cpu_fetch() -> kcpustat_cpu_fetch_default()

Type Parameter Key Value
PARAM_VALUE 0 dst 72013013584453632
PARAM_VALUE 1 cpu 0
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 cpu $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/leds/trigger/ledtrig-activity.c kcpustat_cpu_fetch() -> kcpustat_cpu_fetch_default()

Type Parameter Key Value
PARAM_VALUE 0 dst 2370572031846649856
PARAM_VALUE 1 cpu 0-64
CAPPED_DATA 1 cpu 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 cpu $1
CONSTRAINT 1 cpu <3035
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &led_cdev->trigger_lock

kernel/cgroup/rstat.c kcpustat_cpu_fetch() -> kcpustat_cpu_fetch_default()

Type Parameter Key Value
PARAM_VALUE 0 dst 7200641941634920448
PARAM_VALUE 1 cpu 0-64
CAPPED_DATA 1 cpu 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 cpu $1
CONSTRAINT 1 cpu <3035
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock