Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/events/core.c perf_event_read() -> __perf_event_read_cpu()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->oncpu 0-8192
PARAM_VALUE 1 event_cpu 0-8192
BUF_SIZE 0 event s32min-(-1),1-s32max
BUF_SIZE 0 event s32min-(-1),1-s32max
CAPPED_DATA 1 event_cpu 1
DATA_SOURCE 0 event $0
CONSTRAINT 1 event_cpu <3035
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 event unit_byte
HALF_LOCKED2 &event->child_mutex
HALF_LOCKED2 0 &event->child_mutex
TYPE_LOCK (struct perf_event)->child_mutex

kernel/events/core.c perf_event_read_local() -> __perf_event_read_cpu()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->attach_state 4-u32max
PARAM_VALUE 0 event->attr.inherit 0
BUF_SIZE 0 event s32min-(-1),1-s32max
BUF_SIZE 0 event s32min-(-1),1-s32max
DATA_SOURCE 0 event $0
UNITS 0 event unit_byte
LOCK2 flags
HALF_LOCKED2 irq

kernel/events/core.c perf_event_read_local() -> __perf_event_read_cpu()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->attach_state 4-u32max
PARAM_VALUE 0 event->attr.inherit 0
BUF_SIZE 0 event s32min-(-1),1-s32max
BUF_SIZE 0 event s32min-(-1),1-s32max
DATA_SOURCE 0 event $0
UNITS 0 event unit_byte
LOCK2 flags
HALF_LOCKED2 irq