Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/events/intel/core.c intel_get_event_constraints() -> intel_get_excl_constraints()

Type Parameter Key Value
PARAM_VALUE 0 cpuc 4096-ptr_max
PARAM_VALUE 0 cpuc->excl_cntrs 1-u64max
PARAM_VALUE 0 cpuc->excl_thread_id 0-1
PARAM_VALUE 0 cpuc->is_fake 1
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 2 idx 0
PARAM_VALUE 3 c 4096-ptr_max
BUF_SIZE 0 cpuc (-1),6224
BUF_SIZE 0 cpuc (-1),6224
BUF_SIZE 1 event->clock (-1),8
BUF_SIZE 1 event->hw.target (-1),4,24,64,168-s32max
BUF_SIZE 1 event->overflow_handler_context (-1)-0,32
BUF_SIZE 3 c (-1),40
BUF_SIZE 3 c (-1),40
CAPPED_DATA 1 event 1
CAPPED_DATA 1 event->attr.type 1
CAPPED_DATA 1 event->group_leader 1
DATA_SOURCE 0 cpuc $0
DATA_SOURCE 1 event $2
DATA_SOURCE 2 idx $1
NOSPEC 1 event->attr.type
NOSPEC 1 event->cpu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 event->attr.__reserved_2 0
USER_DATA 1 event->attr.aux_action 0-u32max
USER_DATA 1 event->attr.aux_sample_size 0-u32max
USER_DATA 1 event->attr.aux_watermark 0-u32max
USER_DATA 1 event->attr.bp_addr 0-u64max
USER_DATA 1 event->attr.bp_len 0-u64max
USER_DATA 1 event->attr.bp_type 0-u32max
USER_DATA 1 event->attr.branch_sample_type 0-u64max
USER_DATA 1 event->attr.clockid s32min-s32max
USER_DATA 1 event->attr.config 0-u64max
USER_DATA 1 event->attr.config1 0-u64max
USER_DATA 1 event->attr.config2 0-u64max
USER_DATA 1 event->attr.config3 0-u64max
USER_DATA 1 event->attr.config4 0-u64max
USER_DATA 1 event->attr.disabled 0[c]
USER_DATA 1 event->attr.kprobe_addr 0-u64max
USER_DATA 1 event->attr.kprobe_func 0-u64max
USER_DATA 1 event->attr.probe_offset 0-u64max
USER_DATA 1 event->attr.read_format 0-30
USER_DATA 1 event->attr.sample_freq 0-u64max
USER_DATA 1 event->attr.sample_max_stack 1-u16max
USER_DATA 1 event->attr.sample_period 0-u64max
USER_DATA 1 event->attr.sample_regs_intr 0-u64max
USER_DATA 1 event->attr.sample_regs_user 0-u64max
USER_DATA 1 event->attr.sample_stack_user 0-u32max
USER_DATA 1 event->attr.sample_type 0-33554430
USER_DATA 1 event->attr.sig_data 0-u64max
USER_DATA 1 event->attr.size 144
USER_DATA 1 event->attr.type 0[c]
USER_DATA 1 event->attr.uprobe_path 0-u64max
USER_DATA 1 event->attr.wakeup_events 0-u32max
USER_DATA 1 event->attr.wakeup_watermark 0-u32max
USER_DATA 1 event->cpu 0-s32max[c]
USER_DATA 1 event->orig_type 0-u32max
LOCK2 _T->lock
HALF_LOCKED2 1 &event->group_leader->ctx->mutex