Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/events/intel/ds.c setup_arch_pebs_sample_data() -> intel_pmu_lbr_save_brstack()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->aux_size 0,8-18446744073709547520
PARAM_VALUE 0 data->callchain 4096-ptr_max
PARAM_VALUE 0 data->callchain->nr 0
PARAM_VALUE 0 data->code_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->cpu_entry.cpu 0
PARAM_VALUE 0 data->cpu_entry.reserved 0
PARAM_VALUE 0 data->data_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->data_src.val 0,256-u64max
PARAM_VALUE 0 data->raw 0,1660871988697665536,2136298029545185280,4871532738126876672,8193533939451559936
PARAM_VALUE 0 data->regs_intr.abi 0-2
PARAM_VALUE 0 data->regs_user.abi 0-2
PARAM_VALUE 0 data->sample_flags 0,4-u64max
PARAM_VALUE 0 data->stack_user_size 0-u16max
PARAM_VALUE 0 data->tid_entry.pid 0-s32max,u32max
PARAM_VALUE 0 data->tid_entry.tid 0-s32max,u32max
PARAM_VALUE 0 data->txn 0-1099511627775
PARAM_VALUE 2 event 4096-ptr_max
PARAM_VALUE 2 event->attr.sample_type 2048-u64max
DATA_SOURCE 0 data $3
DATA_SOURCE 2 event $0
NOCHECK_CALL
HOST_DATA 0 data->period 0-u64max
HOST_DATA 2 event->aux_event->hw->addr_filters_gen 0-u64max
HOST_DATA 2 event->aux_event->hw->freq_count_stamp 0-u64max
HOST_DATA 2 event->aux_event->hw->freq_time_stamp 0-u64max
HOST_DATA 2 event->aux_event->hw->interrupts 0-u64max
HOST_DATA 2 event->aux_event->hw->interrupts_seq 0-u64max
HOST_DATA 2 event->aux_event->hw->sample_period 0-u64max
HOST_DATA 2 event->aux_event->hw->state s32min-s32max
HOST_DATA 2 event->aux_event->hw.aux_config 0-u64max
HOST_DATA 2 event->aux_event->hw.aux_paused 0
HOST_DATA 2 event->aux_event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 2 event->aux_event->hw.branch_reg.config 0-u64max
HOST_DATA 2 event->aux_event->hw.branch_reg.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.branch_reg.reg 0-u32max
HOST_DATA 2 event->aux_event->hw.conf 0-u64max
HOST_DATA 2 event->aux_event->hw.conf1 0-u64max
HOST_DATA 2 event->aux_event->hw.config 0-u64max
HOST_DATA 2 event->aux_event->hw.config1 0-u64max
HOST_DATA 2 event->aux_event->hw.config_base 0-u64max
HOST_DATA 2 event->aux_event->hw.dyn_constraint 0-u64max
HOST_DATA 2 event->aux_event->hw.event_base 0-u64max
HOST_DATA 2 event->aux_event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.config 0-u64max
HOST_DATA 2 event->aux_event->hw.extra_reg.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.reg 0-u32max
HOST_DATA 2 event->aux_event->hw.flags s32min-s32max
HOST_DATA 2 event->aux_event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 2 event->aux_event->hw.hrtimer.is_hard 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_lazy 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_queued 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_rel 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_soft 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 2 event->aux_event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 2 event->aux_event->hw.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.info.address 0-u64max
HOST_DATA 2 event->aux_event->hw.info.len 0-255
HOST_DATA 2 event->aux_event->hw.info.mask 0-u64max
HOST_DATA 2 event->aux_event->hw.info.type 0-255
HOST_DATA 2 event->aux_event->hw.iommu_bank 0-255
HOST_DATA 2 event->aux_event->hw.iommu_cntr 0-255
HOST_DATA 2 event->aux_event->hw.last_cpu s32min-s32max
HOST_DATA 2 event->aux_event->hw.last_period 0-u64max
HOST_DATA 2 event->aux_event->hw.last_tag 0-u64max
HOST_DATA 2 event->aux_event->hw.padding 0-u16max
HOST_DATA 2 event->aux_event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 2 event->aux_event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 2 event->aux_event->hw.ptsc 0-u64max
HOST_DATA 2 event->aux_event->hw.pwr_acc 0-u64max
HOST_DATA 2 event->aux_event->hw.saved_metric 0-u64max
HOST_DATA 2 event->aux_event->hw.saved_slots 0-u64max
HOST_DATA 2 event->hw->addr_filters_gen 0-u64max
HOST_DATA 2 event->hw->freq_count_stamp 0-u64max
HOST_DATA 2 event->hw->freq_time_stamp 0-u64max
HOST_DATA 2 event->hw->interrupts 0-u64max
HOST_DATA 2 event->hw->interrupts_seq 0-u64max
HOST_DATA 2 event->hw->sample_period 0-u64max
HOST_DATA 2 event->hw->state s32min-s32max
HOST_DATA 2 event->hw.aux_config 0-u64max
HOST_DATA 2 event->hw.aux_paused 0-u32max
HOST_DATA 2 event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 2 event->hw.branch_reg.config 0-u64max
HOST_DATA 2 event->hw.branch_reg.idx s32min-s32max
HOST_DATA 2 event->hw.branch_reg.reg 0-u32max
HOST_DATA 2 event->hw.conf 0-u64max
HOST_DATA 2 event->hw.conf1 0-u64max
HOST_DATA 2 event->hw.config 0-u64max
HOST_DATA 2 event->hw.config1 0-u64max
HOST_DATA 2 event->hw.config_base 0-u64max
HOST_DATA 2 event->hw.dyn_constraint 0-u64max
HOST_DATA 2 event->hw.event_base 0-u64max
HOST_DATA 2 event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 2 event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 2 event->hw.extra_reg.config 0-u64max
HOST_DATA 2 event->hw.extra_reg.idx s32min-s32max
HOST_DATA 2 event->hw.extra_reg.reg 0-u32max
HOST_DATA 2 event->hw.flags s32min-s32max
HOST_DATA 2 event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 2 event->hw.hrtimer.is_hard 0-1
HOST_DATA 2 event->hw.hrtimer.is_lazy 0-1
HOST_DATA 2 event->hw.hrtimer.is_queued 0-1
HOST_DATA 2 event->hw.hrtimer.is_rel 0-1
HOST_DATA 2 event->hw.hrtimer.is_soft 0-1
HOST_DATA 2 event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 2 event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 2 event->hw.idx s32min-s32max
HOST_DATA 2 event->hw.info.address 0-u64max
HOST_DATA 2 event->hw.info.len 0-255
HOST_DATA 2 event->hw.info.mask 0-u64max
HOST_DATA 2 event->hw.info.type 0-255
HOST_DATA 2 event->hw.iommu_bank 0-255
HOST_DATA 2 event->hw.iommu_cntr 0-255
HOST_DATA 2 event->hw.last_cpu s32min-s32max
HOST_DATA 2 event->hw.last_period 0-u64max
HOST_DATA 2 event->hw.last_tag 0-u64max
HOST_DATA 2 event->hw.padding 0-u16max
HOST_DATA 2 event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 2 event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 2 event->hw.ptsc 0-u64max
HOST_DATA 2 event->hw.pwr_acc 0-u64max
HOST_DATA 2 event->hw.saved_metric 0-u64max
HOST_DATA 2 event->hw.saved_slots 0-u64max

arch/x86/events/intel/ds.c setup_pebs_adaptive_sample_data() -> intel_pmu_lbr_save_brstack()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->aux_size 0,8-18446744073709547520
PARAM_VALUE 0 data->callchain 4096-ptr_max
PARAM_VALUE 0 data->callchain->nr 0
PARAM_VALUE 0 data->code_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->cpu_entry.cpu 0
PARAM_VALUE 0 data->cpu_entry.reserved 0
PARAM_VALUE 0 data->data_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->data_src.val 0,256-u64max
PARAM_VALUE 0 data->raw 0,1660871988697665536,2136298029545185280,4871532738126876672,8193533939451559936
PARAM_VALUE 0 data->regs_intr.abi 0-2
PARAM_VALUE 0 data->regs_user.abi 0-2
PARAM_VALUE 0 data->sample_flags 0,4-u64max
PARAM_VALUE 0 data->stack_user_size 0-u16max
PARAM_VALUE 0 data->tid_entry.pid 0-s32max,u32max
PARAM_VALUE 0 data->tid_entry.tid 0-s32max,u32max
PARAM_VALUE 0 data->txn 0-1099511627775
PARAM_VALUE 2 event 4096-ptr_max
PARAM_VALUE 2 event->attr.sample_type 2048-u64max
DATA_SOURCE 0 data $3
DATA_SOURCE 2 event $0
NOCHECK_CALL
HOST_DATA 0 data->period 0-u64max
HOST_DATA 2 event->aux_event->hw->addr_filters_gen 0-u64max
HOST_DATA 2 event->aux_event->hw->freq_count_stamp 0-u64max
HOST_DATA 2 event->aux_event->hw->freq_time_stamp 0-u64max
HOST_DATA 2 event->aux_event->hw->interrupts 0-u64max
HOST_DATA 2 event->aux_event->hw->interrupts_seq 0-u64max
HOST_DATA 2 event->aux_event->hw->sample_period 0-u64max
HOST_DATA 2 event->aux_event->hw->state s32min-s32max
HOST_DATA 2 event->aux_event->hw.aux_config 0-u64max
HOST_DATA 2 event->aux_event->hw.aux_paused 0
HOST_DATA 2 event->aux_event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 2 event->aux_event->hw.branch_reg.config 0-u64max
HOST_DATA 2 event->aux_event->hw.branch_reg.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.branch_reg.reg 0-u32max
HOST_DATA 2 event->aux_event->hw.conf 0-u64max
HOST_DATA 2 event->aux_event->hw.conf1 0-u64max
HOST_DATA 2 event->aux_event->hw.config 0-u64max
HOST_DATA 2 event->aux_event->hw.config1 0-u64max
HOST_DATA 2 event->aux_event->hw.config_base 0-u64max
HOST_DATA 2 event->aux_event->hw.dyn_constraint 0-u64max
HOST_DATA 2 event->aux_event->hw.event_base 0-u64max
HOST_DATA 2 event->aux_event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.config 0-u64max
HOST_DATA 2 event->aux_event->hw.extra_reg.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.extra_reg.reg 0-u32max
HOST_DATA 2 event->aux_event->hw.flags s32min-s32max
HOST_DATA 2 event->aux_event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 2 event->aux_event->hw.hrtimer.is_hard 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_lazy 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_queued 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_rel 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.is_soft 0-1
HOST_DATA 2 event->aux_event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 2 event->aux_event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 2 event->aux_event->hw.idx s32min-s32max
HOST_DATA 2 event->aux_event->hw.info.address 0-u64max
HOST_DATA 2 event->aux_event->hw.info.len 0-255
HOST_DATA 2 event->aux_event->hw.info.mask 0-u64max
HOST_DATA 2 event->aux_event->hw.info.type 0-255
HOST_DATA 2 event->aux_event->hw.iommu_bank 0-255
HOST_DATA 2 event->aux_event->hw.iommu_cntr 0-255
HOST_DATA 2 event->aux_event->hw.last_cpu s32min-s32max
HOST_DATA 2 event->aux_event->hw.last_period 0-u64max
HOST_DATA 2 event->aux_event->hw.last_tag 0-u64max
HOST_DATA 2 event->aux_event->hw.padding 0-u16max
HOST_DATA 2 event->aux_event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 2 event->aux_event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 2 event->aux_event->hw.ptsc 0-u64max
HOST_DATA 2 event->aux_event->hw.pwr_acc 0-u64max
HOST_DATA 2 event->aux_event->hw.saved_metric 0-u64max
HOST_DATA 2 event->aux_event->hw.saved_slots 0-u64max
HOST_DATA 2 event->hw->addr_filters_gen 0-u64max
HOST_DATA 2 event->hw->freq_count_stamp 0-u64max
HOST_DATA 2 event->hw->freq_time_stamp 0-u64max
HOST_DATA 2 event->hw->interrupts 0-u64max
HOST_DATA 2 event->hw->interrupts_seq 0-u64max
HOST_DATA 2 event->hw->sample_period 0-u64max
HOST_DATA 2 event->hw->state s32min-s32max
HOST_DATA 2 event->hw.aux_config 0-u64max
HOST_DATA 2 event->hw.aux_paused 0-u32max
HOST_DATA 2 event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 2 event->hw.branch_reg.config 0-u64max
HOST_DATA 2 event->hw.branch_reg.idx s32min-s32max
HOST_DATA 2 event->hw.branch_reg.reg 0-u32max
HOST_DATA 2 event->hw.conf 0-u64max
HOST_DATA 2 event->hw.conf1 0-u64max
HOST_DATA 2 event->hw.config 0-u64max
HOST_DATA 2 event->hw.config1 0-u64max
HOST_DATA 2 event->hw.config_base 0-u64max
HOST_DATA 2 event->hw.dyn_constraint 0-u64max
HOST_DATA 2 event->hw.event_base 0-u64max
HOST_DATA 2 event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 2 event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 2 event->hw.extra_reg.config 0-u64max
HOST_DATA 2 event->hw.extra_reg.idx s32min-s32max
HOST_DATA 2 event->hw.extra_reg.reg 0-u32max
HOST_DATA 2 event->hw.flags s32min-s32max
HOST_DATA 2 event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 2 event->hw.hrtimer.is_hard 0-1
HOST_DATA 2 event->hw.hrtimer.is_lazy 0-1
HOST_DATA 2 event->hw.hrtimer.is_queued 0-1
HOST_DATA 2 event->hw.hrtimer.is_rel 0-1
HOST_DATA 2 event->hw.hrtimer.is_soft 0-1
HOST_DATA 2 event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 2 event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 2 event->hw.idx s32min-s32max
HOST_DATA 2 event->hw.info.address 0-u64max
HOST_DATA 2 event->hw.info.len 0-255
HOST_DATA 2 event->hw.info.mask 0-u64max
HOST_DATA 2 event->hw.info.type 0-255
HOST_DATA 2 event->hw.iommu_bank 0-255
HOST_DATA 2 event->hw.iommu_cntr 0-255
HOST_DATA 2 event->hw.last_cpu s32min-s32max
HOST_DATA 2 event->hw.last_period 0-u64max
HOST_DATA 2 event->hw.last_tag 0-u64max
HOST_DATA 2 event->hw.padding 0-u16max
HOST_DATA 2 event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 2 event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 2 event->hw.ptsc 0-u64max
HOST_DATA 2 event->hw.pwr_acc 0-u64max
HOST_DATA 2 event->hw.saved_metric 0-u64max
HOST_DATA 2 event->hw.saved_slots 0-u64max

arch/x86/events/intel/core.c handle_pmi_common() -> intel_pmu_lbr_save_brstack()

Type Parameter Key Value
PARAM_VALUE 0 data 2973676910393303040
PARAM_VALUE 0 data->aux_size 0,8-18446744073709547520
PARAM_VALUE 0 data->code_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->data_page_size 0,4096,2097152,1073741824
PARAM_VALUE 0 data->data_src.val 0,256-u64max
PARAM_VALUE 0 data->dyn_size 0
PARAM_VALUE 0 data->raw 0,1660871988697665536,2136298029545185280,4871532738126876672,8193533939451559936
PARAM_VALUE 0 data->regs_intr.abi 0-2
PARAM_VALUE 0 data->regs_user.abi 0-2
PARAM_VALUE 0 data->sample_flags 256
PARAM_VALUE 0 data->stack_user_size 0-u16max
PARAM_VALUE 0 data->tid_entry.pid 0-s32max,u32max
PARAM_VALUE 0 data->tid_entry.tid 0-s32max,u32max
PARAM_VALUE 0 data->txn 0-1099511627775
PARAM_VALUE 1 cpuc 4096-ptr_max
PARAM_VALUE 1 cpuc->active_mask 4096-ptr_max
PARAM_VALUE 1 cpuc->events 4096-ptr_max
PARAM_VALUE 2 event 4096-ptr_max
PARAM_VALUE 2 event->attr.sample_type 2048-u64max
PARAM_VALUE 2 event->group_leader 4096-ptr_max
PARAM_VALUE 2 event->group_leader->pmu 4096-ptr_max
PARAM_VALUE 2 event->group_leader->pmu->type s32min-3,5-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags