__kvm_perf_overflow identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/pmu.c, line 200 (as a function)

Referenced in 1 files:

arch/x86/kvm/pmu.c
- line 241
- line 588

Smatch caller information:

arch/x86/kvm/pmu.c kvm_perf_overflow() -> __kvm_perf_overflow()

Type	Parameter	Key	Value
PARAM_VALUE	0	pmc	4096-ptr_max
PARAM_VALUE	1	in_pmi	1
NOCHECK_CALL

arch/x86/kvm/pmu.c reprogram_counter() -> __kvm_perf_overflow()

Type	Parameter	Key	Value
PARAM_VALUE	0	pmc	4096-ptr_max
PARAM_VALUE	0	pmc->counter	0-18446744073709551614
PARAM_VALUE	0	pmc->emulated_counter	0
PARAM_VALUE	0	pmc->is_paused	1
PARAM_VALUE	0	pmc->perf_event->active_list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->active_list.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->addr_filters.lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->addr_filters.lock.owner_cpu	u32max
PARAM_VALUE	0	pmc->perf_event->aux_event	0
PARAM_VALUE	0	pmc->perf_event->aux_event->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->addr_filters.lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->aux_event->addr_filters.lock.owner_cpu	u32max
PARAM_VALUE	0	pmc->perf_event->aux_event->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->filter_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.target->perf_ctx_data->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->addr_filters.lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->addr_filters.lock.owner_cpu	u32max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.func_hash->filter_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.target->perf_ctx_data->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->pmu->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->pmu_ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->pmu_ctx->pmu_ctx_entry.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->pmu_ctx->pmu_ctx_entry.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->put_work.flags	0-4294967295
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->put_work.is_hard	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->put_work.is_lazy	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->put_work.is_queued	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->put_work.is_soft	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->data->status	0-2,128,130
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->tp_event->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->aux_event->pmu->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->aux_event->pmu_ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->pmu_ctx->pmu_ctx_entry.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->pmu_ctx->pmu_ctx_entry.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->put_work.flags	0-4294967295
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->put_work.is_hard	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->put_work.is_lazy	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->put_work.is_queued	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->put_work.is_soft	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->data->status	0-2,128,130
PARAM_VALUE	0	pmc->perf_event->aux_event->tp_event->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->child_list.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->child_list.next->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->child_list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->child_list.prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->child_list.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->child_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	pmc->perf_event->ctx->lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->ctx->lock.owner_cpu	u32max
PARAM_VALUE	0	pmc->perf_event->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->event_entry.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->filter_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->group_index	0
PARAM_VALUE	0	pmc->perf_event->hw.addr_filters	0
PARAM_VALUE	0	pmc->perf_event->hw.target->perf_ctx_data->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->addr_filters.lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->parent->addr_filters.lock.owner_cpu	u32max
PARAM_VALUE	0	pmc->perf_event->parent->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->filter_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->parent->hw.target->perf_ctx_data->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->pmu->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->parent->pmu_ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->pmu_ctx->pmu_ctx_entry.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->pmu_ctx->pmu_ctx_entry.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->put_work.flags	0-4294967295
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->put_work.is_hard	0-1
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->put_work.is_lazy	0-1
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->put_work.is_queued	0-1
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->put_work.is_soft	0-1
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->data->status	0-2,128,130
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->pmu->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->perf_event->pmu_ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->pmu_ctx->pmu_ctx_entry.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->pmu_ctx->pmu_ctx_entry.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->pmu_private	0
PARAM_VALUE	0	pmc->perf_event->pmu_private->lock->owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	pmc->perf_event->pmu_private->lock.owner	(-1)
PARAM_VALUE	0	pmc->perf_event->pmu_private->lock.owner_cpu	4294967295
PARAM_VALUE	0	pmc->perf_event->pmu_private->lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	pmc->perf_event->prog	0
PARAM_VALUE	0	pmc->perf_event->rb	0
PARAM_VALUE	0	pmc->perf_event->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->security	0
PARAM_VALUE	0	pmc->perf_event->sibling_list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->sibling_list.prev->next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->tp_event->data->put_work.flags	0-4294967295
PARAM_VALUE	0	pmc->perf_event->tp_event->data->put_work.is_hard	0-1
PARAM_VALUE	0	pmc->perf_event->tp_event->data->put_work.is_lazy	0-1
PARAM_VALUE	0	pmc->perf_event->tp_event->data->put_work.is_queued	0-1
PARAM_VALUE	0	pmc->perf_event->tp_event->data->put_work.is_soft	0-1
PARAM_VALUE	0	pmc->perf_event->tp_event->data->refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	pmc->perf_event->tp_event->data->status	0-2,128,130
PARAM_VALUE	0	pmc->perf_event->tp_event->module->refcnt.counter	0-s32max
PARAM_VALUE	0	pmc->vcpu	4096-ptr_max
PARAM_VALUE	0	pmc->vcpu->kvm	4096-ptr_max
PARAM_VALUE	1	in_pmi	0
DATA_SOURCE	0	pmc	$0
NOCHECK_CALL
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