Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/events/core.c perf_event_disable() -> _perf_event_disable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| PARAM_VALUE | 0 | event->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | event->ctx->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | event->ctx->callback_head.next | 0 |
| PARAM_VALUE | 0 | event->ctx->refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | event->ctx->task->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | event->ctx->task->rcu.next | 0 |
| CAPPED_DATA | 0 | event->ctx | 1 |
| DATA_SOURCE | 0 | event | $0 |
| NOCHECK_CALL |
kernel/events/core.c perf_event_modify_breakpoint() -> _perf_event_disable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| BUF_SIZE | 0 | event | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | event | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | event | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | event->group_leader->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw->state | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.aux_config | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.aux_paused | 0-u32max |
| HOST_DATA | 0 | event->group_leader->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 0 | event->group_leader->hw.conf | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.conf1 | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.config | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.config1 | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.config_base | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.event_base | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 0 | event->group_leader->hw.flags | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.is_queued | 0-1 |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 0 | event->group_leader->hw.hrtimer.node.node.node.__rb_parent_color | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.idx | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.info.address | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.info.len | 0-255 |
| HOST_DATA | 0 | event->group_leader->hw.info.mask | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.info.type | 0-255 |
| HOST_DATA | 0 | event->group_leader->hw.iommu_bank | 0-255 |
| HOST_DATA | 0 | event->group_leader->hw.iommu_cntr | 0-255 |
| HOST_DATA | 0 | event->group_leader->hw.last_cpu | s32min-s32max |
| HOST_DATA | 0 | event->group_leader->hw.last_period | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.last_tag | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.padding | 0-u16max |
| HOST_DATA | 0 | event->group_leader->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | event->group_leader->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | event->group_leader->hw.ptsc | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.pwr_acc | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.saved_metric | 0-u64max |
| HOST_DATA | 0 | event->group_leader->hw.saved_slots | 0-u64max |
| USER_DATA | 0 | event->attr.sig_data | 0-u64max |
| HALF_LOCKED2 | &event->child_mutex | ||
| HALF_LOCKED2 | 0 | &event->child_mutex | |
| TYPE_LOCK | (struct perf_event)->child_mutex |
kernel/events/core.c perf_event_pause() -> _perf_event_disable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| PARAM_VALUE | 0 | event->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | event->ctx->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | event->ctx->callback_head.next | 0 |
| PARAM_VALUE | 0 | event->ctx->refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | event->ctx->task->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | event->ctx->task->rcu.next | 0 |
| CAPPED_DATA | 0 | event->ctx | 1 |
| DATA_SOURCE | 0 | event | $0 |
| NOCHECK_CALL | |||
| 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 |
| 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 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
kernel/events/core.c perf_event_for_each_child() -> perf_event_for_each_child param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| PARAM_VALUE | 0 | event->child_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | event->child_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | event->child_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | event->child_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | event->child_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | event->child_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | event->child_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | event->child_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | event->ctx | 4096-ptr_max |
| BUF_SIZE | 0 | event | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | event | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &event->child_mutex | 1 |
| DATA_SOURCE | 0 | event | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | event | unit_byte |
| LOCK2 | 0 | &event->child_mutex | |
| TYPE_LOCK | (struct perf_event)->child_mutex |
kernel/events/core.c perf_event_for_each_child() -> perf_event_for_each_child param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| CAPPED_DATA | 0 | &event->child_list | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &event->child_mutex | ||
| TYPE_LOCK | (struct perf_event)->child_mutex |