Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/pmu.c pmc_reprogram_counter() -> get_sample_period()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmc | 4096-ptr_max |
| PARAM_VALUE | 0 | pmc->vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | pmc | $0 |
| PREEMPT_ADD | |||
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->state | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.aux_config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.aux_paused | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.conf | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.conf1 | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config1 | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config_base | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.event_base | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.flags | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.address | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.len | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.mask | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.type | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.iommu_bank | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.iommu_cntr | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_cpu | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_tag | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.padding | 0-u16max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.ptsc | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.pwr_acc | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.saved_metric | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.saved_slots | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->state | s32min-s32max |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/pmu.c pmc_resume_counter() -> get_sample_period()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmc | 4096-ptr_max |
| PARAM_VALUE | 0 | pmc->vcpu | 4096-ptr_max |
| CAPPED_DATA | 0 | pmc->current_config | 1 |
| DATA_SOURCE | 0 | pmc | $0 |
| PREEMPT_ADD | |||
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw->state | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.aux_config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.aux_paused | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.conf | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.conf1 | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config1 | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.config_base | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.event_base | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.flags | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.hrtimer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.idx | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.address | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.len | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.mask | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.info.type | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.iommu_bank | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.iommu_cntr | 0-255 |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_cpu | s32min-s32max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.last_tag | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.padding | 0-u16max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.ptsc | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.pwr_acc | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.saved_metric | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->group_leader->hw.saved_slots | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | pmc->perf_event->hw->state | s32min-s32max |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/pmu.c pmc_update_sample_period() -> get_sample_period()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmc | 4096-ptr_max |
| DATA_SOURCE | 0 | pmc | $0 |