Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/events/intel/ds.c __intel_pmu_pebs_last_event() -> intel_pmu_save_and_restart()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->group_leader 4096-ptr_max
PARAM_VALUE 0 event->group_leader->pmu 4096-ptr_max
PARAM_VALUE 0 event->group_leader->pmu->type s32min-3,5-s32max
PARAM_VALUE 0 event->parent 0
PARAM_VALUE 0 event->pending_irq.node.a_flags.counter 0-s32max
PARAM_VALUE 0 event->pending_kill 1,6
PARAM_VALUE 0 event->pending_task.next 0-7661163036167163903,7661163036167163905-u64max
PARAM_VALUE 0 event->pending_wakeup 1
PARAM_VALUE 0 event->pending_work 1-u32max
DATA_SOURCE 0 event $0
NOCHECK_CALL
HOST_DATA 0 event->aux_event->hw->addr_filters_gen 0-u64max
HOST_DATA 0 event->aux_event->hw->freq_count_stamp 0-u64max
HOST_DATA 0 event->aux_event->hw->freq_time_stamp 0-u64max
HOST_DATA 0 event->aux_event->hw->interrupts 0-u64max
HOST_DATA 0 event->aux_event->hw->interrupts_seq 0-u64max
HOST_DATA 0 event->aux_event->hw->sample_period 0-u64max
HOST_DATA 0 event->aux_event->hw->state s32min-s32max
HOST_DATA 0 event->aux_event->hw.aux_config 0-u64max
HOST_DATA 0 event->aux_event->hw.aux_paused 0
HOST_DATA 0 event->aux_event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 0 event->aux_event->hw.branch_reg.config 0-u64max
HOST_DATA 0 event->aux_event->hw.branch_reg.idx s32min-s32max
HOST_DATA 0 event->aux_event->hw.branch_reg.reg 0-u32max
HOST_DATA 0 event->aux_event->hw.conf 0-u64max
HOST_DATA 0 event->aux_event->hw.conf1 0-u64max
HOST_DATA 0 event->aux_event->hw.config 0-u64max
HOST_DATA 0 event->aux_event->hw.config1 0-u64max
HOST_DATA 0 event->aux_event->hw.config_base 0-u64max
HOST_DATA 0 event->aux_event->hw.dyn_constraint 0-u64max
HOST_DATA 0 event->aux_event->hw.event_base 0-u64max
HOST_DATA 0 event->aux_event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 0 event->aux_event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 0 event->aux_event->hw.extra_reg.config 0-u64max
HOST_DATA 0 event->aux_event->hw.extra_reg.idx s32min-s32max
HOST_DATA 0 event->aux_event->hw.extra_reg.reg 0-u32max
HOST_DATA 0 event->aux_event->hw.flags s32min-s32max
HOST_DATA 0 event->aux_event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 0 event->aux_event->hw.hrtimer.is_hard 0-1
HOST_DATA 0 event->aux_event->hw.hrtimer.is_lazy 0-1
HOST_DATA 0 event->aux_event->hw.hrtimer.is_queued 0-1
HOST_DATA 0 event->aux_event->hw.hrtimer.is_rel 0-1
HOST_DATA 0 event->aux_event->hw.hrtimer.is_soft 0-1
HOST_DATA 0 event->aux_event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 0 event->aux_event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 0 event->aux_event->hw.idx s32min-s32max
HOST_DATA 0 event->aux_event->hw.info.address 0-u64max
HOST_DATA 0 event->aux_event->hw.info.len 0-255
HOST_DATA 0 event->aux_event->hw.info.mask 0-u64max
HOST_DATA 0 event->aux_event->hw.info.type 0-255
HOST_DATA 0 event->aux_event->hw.iommu_bank 0-255
HOST_DATA 0 event->aux_event->hw.iommu_cntr 0-255
HOST_DATA 0 event->aux_event->hw.last_cpu s32min-s32max
HOST_DATA 0 event->aux_event->hw.last_period 0-u64max
HOST_DATA 0 event->aux_event->hw.last_tag 0-u64max
HOST_DATA 0 event->aux_event->hw.padding 0-u16max
HOST_DATA 0 event->aux_event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 0 event->aux_event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 0 event->aux_event->hw.ptsc 0-u64max
HOST_DATA 0 event->aux_event->hw.pwr_acc 0-u64max
HOST_DATA 0 event->aux_event->hw.saved_metric 0-u64max
HOST_DATA 0 event->aux_event->hw.saved_slots 0-u64max
HOST_DATA 0 event->hw->addr_filters_gen 0-u64max
HOST_DATA 0 event->hw->freq_count_stamp 0-u64max
HOST_DATA 0 event->hw->freq_time_stamp 0-u64max
HOST_DATA 0 event->hw->interrupts 0-u64max
HOST_DATA 0 event->hw->interrupts_seq 0-u64max
HOST_DATA 0 event->hw->sample_period 0-u64max
HOST_DATA 0 event->hw->state s32min-s32max
HOST_DATA 0 event->hw.aux_config 0-u64max
HOST_DATA 0 event->hw.aux_paused 0-u32max
HOST_DATA 0 event->hw.branch_reg.alloc s32min-s32max
HOST_DATA 0 event->hw.branch_reg.config 0-u64max
HOST_DATA 0 event->hw.branch_reg.idx s32min-s32max
HOST_DATA 0 event->hw.branch_reg.reg 0-u32max
HOST_DATA 0 event->hw.conf 0-u64max
HOST_DATA 0 event->hw.conf1 0-u64max
HOST_DATA 0 event->hw.config 0-u64max
HOST_DATA 0 event->hw.config1 0-u64max
HOST_DATA 0 event->hw.config_base 0-u64max
HOST_DATA 0 event->hw.dyn_constraint 0-u64max
HOST_DATA 0 event->hw.event_base 0-u64max
HOST_DATA 0 event->hw.event_base_rdpmc s32min-s32max
HOST_DATA 0 event->hw.extra_reg.alloc s32min-s32max
HOST_DATA 0 event->hw.extra_reg.config 0-u64max
HOST_DATA 0 event->hw.extra_reg.idx s32min-s32max
HOST_DATA 0 event->hw.extra_reg.reg 0-u32max
HOST_DATA 0 event->hw.flags s32min-s32max
HOST_DATA 0 event->hw.hrtimer._softexpires s64min-s64max
HOST_DATA 0 event->hw.hrtimer.is_hard 0-1
HOST_DATA 0 event->hw.hrtimer.is_lazy 0-1
HOST_DATA 0 event->hw.hrtimer.is_queued 0-1
HOST_DATA 0 event->hw.hrtimer.is_rel 0-1
HOST_DATA 0 event->hw.hrtimer.is_soft 0-1
HOST_DATA 0 event->hw.hrtimer.node.expires s64min-s64max
HOST_DATA 0 event->hw.hrtimer.node.node.node.__rb_parent_color 1
HOST_DATA 0 event->hw.idx s32min-s32max
HOST_DATA 0 event->hw.info.address 0-u64max
HOST_DATA 0 event->hw.info.len 0-255
HOST_DATA 0 event->hw.info.mask 0-u64max
HOST_DATA 0 event->hw.info.type 0-255
HOST_DATA 0 event->hw.iommu_bank 0-255
HOST_DATA 0 event->hw.iommu_cntr 0-255
HOST_DATA 0 event->hw.last_cpu s32min-s32max
HOST_DATA 0 event->hw.last_period 0-u64max
HOST_DATA 0 event->hw.last_tag 0-u64max
HOST_DATA 0 event->hw.padding 0-u16max
HOST_DATA 0 event->hw.period_left.a.a.counter s64min-s64max
HOST_DATA 0 event->hw.prev_count.a.a.counter s64min-s64max
HOST_DATA 0 event->hw.ptsc 0-u64max
HOST_DATA 0 event->hw.pwr_acc 0-u64max
HOST_DATA 0 event->hw.saved_metric 0-u64max
HOST_DATA 0 event->hw.saved_slots 0-u64max

arch/x86/events/intel/knc.c knc_pmu_handle_irq() -> intel_pmu_save_and_restart()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->group_leader 4096-ptr_max
PARAM_VALUE 0 event->group_leader->pmu 4096-ptr_max
PARAM_VALUE 0 event->group_leader->pmu->type s32min-3,5-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags