pmc_release_perf_event 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 379 (as a function)

Referenced in 1 files:

arch/x86/kvm/pmu.c
- line 393
- line 608

Smatch caller information:

arch/x86/kvm/pmu.c pmc_stop_counter() -> pmc_release_perf_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	pmc	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event	1-u64max
CAPPED_DATA	0	pmc->counter	1
CAPPED_DATA	0	pmc->perf_event	1
DATA_SOURCE	0	pmc	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	pmc	4096-ptr_max
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->aux_event->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->cgrp	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->ctx->task->rcu.next	0
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->filter_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->filter_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->notrace_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->notrace_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->regex_lock.first_waiter	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->regex_lock.osq.tail.counter	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.func_hash->regex_lock.owner.counter	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.old_hash.filter_hash	0
PARAM_VALUE	0	pmc->perf_event->aux_event->ftrace_ops.old_hash.notrace_hash	0
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.addr_filters	0
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.hrtimer.is_queued	0
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.hrtimer.node.node.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.hrtimer.node.node.prev	0
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->perf_ctx_data->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->hw.target->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->mmap_mutex.first_waiter->task->blocked_on	0
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->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->cgrp	0
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->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ctx->task->rcu.next	0
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->filter_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.func_hash->filter_hash->rcu.next	0
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->ftrace_ops.func_hash->notrace_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.func_hash->notrace_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.func_hash->regex_lock.first_waiter	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.old_hash.filter_hash	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->ftrace_ops.old_hash.notrace_hash	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.addr_filters	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.hrtimer.is_queued	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.hrtimer.node.node.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.hrtimer.node.node.prev	0
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->perf_ctx_data->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->hw.target->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->mmap_mutex.first_waiter->task->blocked_on	0
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->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->pmu_ctx->ctx	0
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->pmu_private	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->prog	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->rb	0
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->rcu_batches	0,4-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->rcu_pending	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->parent->security	0
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->parent->tp_event->perf_events	0
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->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->aux_event->pmu_ctx->ctx	0
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->pmu_private	0
PARAM_VALUE	0	pmc->perf_event->aux_event->prog	0
PARAM_VALUE	0	pmc->perf_event->aux_event->rb	0
PARAM_VALUE	0	pmc->perf_event->aux_event->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->aux_event->rcu_batches	0,4-u64max
PARAM_VALUE	0	pmc->perf_event->aux_event->rcu_pending	0-1
PARAM_VALUE	0	pmc->perf_event->aux_event->security	0
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->aux_event->tp_event->perf_events	0
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->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->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->filter_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->filter_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->notrace_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->notrace_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->regex_lock.first_waiter	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->regex_lock.osq.tail.counter	0
PARAM_VALUE	0	pmc->perf_event->ftrace_ops.func_hash->regex_lock.owner.counter	0
PARAM_VALUE	0	pmc->perf_event->group_leader->hw.interrupts	0
PARAM_VALUE	0	pmc->perf_event->hw.addr_filters->nr_filters	0-s32max
PARAM_VALUE	0	pmc->perf_event->hw.target->perf_ctx_data->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->hw.target->perf_ctx_data->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->hw.target->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->mmap_mutex.first_waiter->task->blocked_on	0
PARAM_VALUE	0	pmc->perf_event->parent->addr_filters.list.next->prev	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->parent->cgrp	0
PARAM_VALUE	0	pmc->perf_event->parent->ctx->callback_head.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->ctx->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->parent->ctx->task->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->ctx->task->rcu.next	0
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->filter_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->filter_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->notrace_hash	3175483717725929472
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->notrace_hash->rcu.func	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->notrace_hash->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->regex_lock.first_waiter	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->regex_lock.osq.tail.counter	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.func_hash->regex_lock.owner.counter	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.old_hash.filter_hash	0
PARAM_VALUE	0	pmc->perf_event->parent->ftrace_ops.old_hash.notrace_hash	0
PARAM_VALUE	0	pmc->perf_event->parent->hw.addr_filters	0
PARAM_VALUE	0	pmc->perf_event->parent->hw.hrtimer.is_queued	0
PARAM_VALUE	0	pmc->perf_event->parent->hw.hrtimer.node.node.next	0
PARAM_VALUE	0	pmc->perf_event->parent->hw.hrtimer.node.node.prev	0
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->perf_ctx_data->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->parent->hw.target->rcu.func	1-u64max
PARAM_VALUE	0	pmc->perf_event->parent->hw.target->rcu.next	0
PARAM_VALUE	0	pmc->perf_event->parent->mmap_mutex.first_waiter->task->blocked_on	0
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->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->parent->pmu_ctx->ctx	0
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->pmu_private	0
PARAM_VALUE	0	pmc->perf_event->parent->prog	0
PARAM_VALUE	0	pmc->perf_event->parent->rb	0
PARAM_VALUE	0	pmc->perf_event->parent->rb_entry.next	4096-ptr_max
PARAM_VALUE	0	pmc->perf_event->parent->security	0
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->parent->tp_event->perf_events	0
PARAM_VALUE	0	pmc->perf_event->parent->tp_event->prog_array->rcu.next	0
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->callback_head.next	0
PARAM_VALUE	0	pmc->perf_event->pmu_ctx->ctx	0
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_ctx->rotate_necessary	0
PARAM_VALUE	0	pmc->perf_event->pmu_private->hrtimer.is_hard	0-1
PARAM_VALUE	0	pmc->perf_event->pmu_private->hrtimer.is_lazy	0-1
PARAM_VALUE	0	pmc->perf_event->pmu_private->hrtimer.is_soft	0-1
PARAM_VALUE	0	pmc->perf_event->pmu_private->hrtimer.node.node.node.__rb_parent_color	1
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->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->perf_event->tp_event->perf_events	0
PARAM_VALUE	0	pmc->perf_event->tp_event->prog_array->rcu.next	0
PARAM_VALUE	0	pmc->vcpu	4096-ptr_max
PARAM_VALUE	0	pmc->vcpu->kvm	4096-ptr_max
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