Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/events/core.c perf_event__output_id_sample() -> __perf_event__output_id_sample()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->aux_flags 0
PARAM_VALUE 0 handle->event 4096-ptr_max
PARAM_VALUE 0 handle->flags 0
PARAM_VALUE 0 handle->rb 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 1 data->aux_size 0,8-18446744073709547520
PARAM_VALUE 1 data->code_page_size 0,4096,2097152,1073741824
PARAM_VALUE 1 data->cpu_entry.cpu 0
PARAM_VALUE 1 data->cpu_entry.reserved 0
PARAM_VALUE 1 data->data_page_size 0,4096,2097152,1073741824
PARAM_VALUE 1 data->data_src.mem_lvl_num 0
PARAM_VALUE 1 data->data_src.val 0,256-u64max
PARAM_VALUE 1 data->raw 0,1660871988697665536,2136298029545185280,4871532738126876672,8193533939451559936
PARAM_VALUE 1 data->raw->frag.next 0-u32max
PARAM_VALUE 1 data->raw->frag.pad 0-u32max
PARAM_VALUE 1 data->raw->size 0-2147483643,4294967292-u32max
PARAM_VALUE 1 data->regs_intr.abi 0-2
PARAM_VALUE 1 data->regs_user.abi 0-2
PARAM_VALUE 1 data->stack_user_size 0-u16max
PARAM_VALUE 1 data->tid_entry.pid 0-s32max,u32max
PARAM_VALUE 1 data->tid_entry.tid 0-s32max,u32max
PARAM_VALUE 1 data->txn 0-1099511627775
DATA_SOURCE 0 handle $1
DATA_SOURCE 1 data $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 data->dyn_size 0-2148012219[c][u]
USER_DATA 1 data->phys_addr 0-u64max[c]
USER_DATA 1 data->raw->frag.size 0-u32max[u]
USER_DATA 1 data->raw->size 0-2147483643,4294967292-u32max
NO_OVERFLOW_SIMPLE 1 data->raw->frag.size
LOCK2 rcu_read
HALF_LOCKED2 &parent_event->child_mutex