Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/events/intel/ds.c setup_arch_pebs_sample_data() -> __setup_pebs_counter_group()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | event | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader->hw.flags | s32min-(-1),128-s32max |
| PARAM_VALUE | 1 | event->group_leader->pmu | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader->pmu->type | s32min-3,5-s32max |
| PARAM_VALUE | 3 | next_record | 4096-u64max |
| DATA_SOURCE | 1 | event | $0 |
| PARAM_COMPARE | 2 | cntr | < $3 |
| PARAM_COMPARE | 2 | cntr | < $3 |
| PARAM_COMPARE | 3 | next_record | > $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | event->aux_event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->interrupts | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->sample_period | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->state | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.aux_config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.aux_paused | 0 |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->aux_event->hw.conf | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.conf1 | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config1 | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config_base | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.event_base | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->aux_event->hw.flags | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 1 | event->aux_event->hw.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.info.address | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.info.len | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.info.mask | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.info.type | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.iommu_bank | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.iommu_cntr | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.last_cpu | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.last_period | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.last_tag | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.padding | 0-u16max |
| HOST_DATA | 1 | event->aux_event->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.ptsc | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.pwr_acc | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.saved_metric | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.saved_slots | 0-u64max |
| HOST_DATA | 1 | event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 1 | event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 1 | event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 1 | event->hw->interrupts | 0-u64max |
| HOST_DATA | 1 | event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 1 | event->hw->sample_period | 0-u64max |
| HOST_DATA | 1 | event->hw->state | s32min-s32max |
| HOST_DATA | 1 | event->hw.aux_config | 0-u64max |
| HOST_DATA | 1 | event->hw.aux_paused | 0-u32max |
| HOST_DATA | 1 | event->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 1 | event->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->hw.conf | 0-u64max |
| HOST_DATA | 1 | event->hw.conf1 | 0-u64max |
| HOST_DATA | 1 | event->hw.config | 0-u64max |
| HOST_DATA | 1 | event->hw.config1 | 0-u64max |
| HOST_DATA | 1 | event->hw.config_base | 0-u64max |
| HOST_DATA | 1 | event->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 1 | event->hw.event_base | 0-u64max |
| HOST_DATA | 1 | event->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 1 | event->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->hw.flags | s32min-s32max |
| HOST_DATA | 1 | event->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 1 | event->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 1 | event->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 1 | event->hw.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.info.address | 0-u64max |
| HOST_DATA | 1 | event->hw.info.len | 0-255 |
| HOST_DATA | 1 | event->hw.info.mask | 0-u64max |
| HOST_DATA | 1 | event->hw.info.type | 0-255 |
| HOST_DATA | 1 | event->hw.iommu_bank | 0-255 |
| HOST_DATA | 1 | event->hw.iommu_cntr | 0-255 |
| HOST_DATA | 1 | event->hw.last_cpu | s32min-s32max |
| HOST_DATA | 1 | event->hw.last_period | 0-u64max |
| HOST_DATA | 1 | event->hw.last_tag | 0-u64max |
| HOST_DATA | 1 | event->hw.padding | 0-u16max |
| HOST_DATA | 1 | event->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->hw.ptsc | 0-u64max |
| HOST_DATA | 1 | event->hw.pwr_acc | 0-u64max |
| HOST_DATA | 1 | event->hw.saved_metric | 0-u64max |
| HOST_DATA | 1 | event->hw.saved_slots | 0-u64max |
| UNITS | 2 | cntr | unit_byte |
| UNITS | 3 | next_record | unit_byte |
arch/x86/events/intel/ds.c setup_pebs_adaptive_sample_data() -> __setup_pebs_counter_group()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | event | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader->hw.flags | s32min-(-1),128-s32max |
| PARAM_VALUE | 1 | event->group_leader->pmu | 4096-ptr_max |
| PARAM_VALUE | 1 | event->group_leader->pmu->type | s32min-3,5-s32max |
| PARAM_VALUE | 3 | next_record | 4096-ptr_max |
| DATA_SOURCE | 1 | event | $0 |
| PARAM_COMPARE | 2 | cntr | < $3 |
| PARAM_COMPARE | 2 | cntr | < $3 |
| PARAM_COMPARE | 3 | next_record | > $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | event->aux_event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->interrupts | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->sample_period | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw->state | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.aux_config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.aux_paused | 0 |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->aux_event->hw.conf | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.conf1 | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config1 | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.config_base | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.event_base | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->aux_event->hw.flags | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 1 | event->aux_event->hw.idx | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.info.address | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.info.len | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.info.mask | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.info.type | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.iommu_bank | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.iommu_cntr | 0-255 |
| HOST_DATA | 1 | event->aux_event->hw.last_cpu | s32min-s32max |
| HOST_DATA | 1 | event->aux_event->hw.last_period | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.last_tag | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.padding | 0-u16max |
| HOST_DATA | 1 | event->aux_event->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->aux_event->hw.ptsc | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.pwr_acc | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.saved_metric | 0-u64max |
| HOST_DATA | 1 | event->aux_event->hw.saved_slots | 0-u64max |
| HOST_DATA | 1 | event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 1 | event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 1 | event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 1 | event->hw->interrupts | 0-u64max |
| HOST_DATA | 1 | event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 1 | event->hw->sample_period | 0-u64max |
| HOST_DATA | 1 | event->hw->state | s32min-s32max |
| HOST_DATA | 1 | event->hw.aux_config | 0-u64max |
| HOST_DATA | 1 | event->hw.aux_paused | 0-u32max |
| HOST_DATA | 1 | event->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 1 | event->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->hw.conf | 0-u64max |
| HOST_DATA | 1 | event->hw.conf1 | 0-u64max |
| HOST_DATA | 1 | event->hw.config | 0-u64max |
| HOST_DATA | 1 | event->hw.config1 | 0-u64max |
| HOST_DATA | 1 | event->hw.config_base | 0-u64max |
| HOST_DATA | 1 | event->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 1 | event->hw.event_base | 0-u64max |
| HOST_DATA | 1 | event->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 1 | event->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 1 | event->hw.flags | s32min-s32max |
| HOST_DATA | 1 | event->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 1 | event->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 1 | event->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 1 | event->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 1 | event->hw.idx | s32min-s32max |
| HOST_DATA | 1 | event->hw.info.address | 0-u64max |
| HOST_DATA | 1 | event->hw.info.len | 0-255 |
| HOST_DATA | 1 | event->hw.info.mask | 0-u64max |
| HOST_DATA | 1 | event->hw.info.type | 0-255 |
| HOST_DATA | 1 | event->hw.iommu_bank | 0-255 |
| HOST_DATA | 1 | event->hw.iommu_cntr | 0-255 |
| HOST_DATA | 1 | event->hw.last_cpu | s32min-s32max |
| HOST_DATA | 1 | event->hw.last_period | 0-u64max |
| HOST_DATA | 1 | event->hw.last_tag | 0-u64max |
| HOST_DATA | 1 | event->hw.padding | 0-u16max |
| HOST_DATA | 1 | event->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 1 | event->hw.ptsc | 0-u64max |
| HOST_DATA | 1 | event->hw.pwr_acc | 0-u64max |
| HOST_DATA | 1 | event->hw.saved_metric | 0-u64max |
| HOST_DATA | 1 | event->hw.saved_slots | 0-u64max |