Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/events/hw_breakpoint.c max_bp_pinned_slots() -> cpumask_of_bp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| BUF_SIZE | 0 | bp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | bp | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | bp | $0 |
| HOST_DATA | 0 | bp->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | bp->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | bp->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | bp->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | bp->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | bp->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | bp->hw->state | s32min-s32max |
| HOST_DATA | 0 | bp->hw.aux_config | 0-u64max |
| HOST_DATA | 0 | bp->hw.aux_paused | 0-u32max |
| HOST_DATA | 0 | bp->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 0 | bp->hw.conf | 0-u64max |
| HOST_DATA | 0 | bp->hw.conf1 | 0-u64max |
| HOST_DATA | 0 | bp->hw.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.config1 | 0-u64max |
| HOST_DATA | 0 | bp->hw.config_base | 0-u64max |
| HOST_DATA | 0 | bp->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 0 | bp->hw.event_base | 0-u64max |
| HOST_DATA | 0 | bp->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 0 | bp->hw.flags | s32min-s32max |
| HOST_DATA | 0 | bp->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 0 | bp->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_queued | 0 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 0 | bp->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 0 | bp->hw.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.info.address | 0-u64max |
| HOST_DATA | 0 | bp->hw.info.len | 0-255 |
| HOST_DATA | 0 | bp->hw.info.mask | 0-u64max |
| HOST_DATA | 0 | bp->hw.info.type | 0-255 |
| HOST_DATA | 0 | bp->hw.iommu_bank | 0-255 |
| HOST_DATA | 0 | bp->hw.iommu_cntr | 0-255 |
| HOST_DATA | 0 | bp->hw.last_cpu | s32min-s32max |
| HOST_DATA | 0 | bp->hw.last_period | 0-u64max |
| HOST_DATA | 0 | bp->hw.last_tag | 0-u64max |
| HOST_DATA | 0 | bp->hw.padding | 0-u16max |
| HOST_DATA | 0 | bp->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | bp->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | bp->hw.ptsc | 0-u64max |
| HOST_DATA | 0 | bp->hw.pwr_acc | 0-u64max |
| HOST_DATA | 0 | bp->hw.saved_metric | 0-u64max |
| HOST_DATA | 0 | bp->hw.saved_slots | 0-u64max |
| USER_DATA | 0 | bp->attr.sig_data | 0-u64max |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &bp->child_mutex | |
| HALF_LOCKED2 | 0 | &bp->group_leader->ctx->mutex |
kernel/events/hw_breakpoint.c toggle_bp_slot() -> cpumask_of_bp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| BUF_SIZE | 0 | bp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | bp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | bp->ctx | (-1),432 |
| BUF_SIZE | 0 | bp->pmu_ctx | (-1),112 |
| DATA_SOURCE | 0 | bp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bp->hw->addr_filters_gen | 0-u64max |
| HOST_DATA | 0 | bp->hw->freq_count_stamp | 0-u64max |
| HOST_DATA | 0 | bp->hw->freq_time_stamp | 0-u64max |
| HOST_DATA | 0 | bp->hw->interrupts | 0-u64max |
| HOST_DATA | 0 | bp->hw->interrupts_seq | 0-u64max |
| HOST_DATA | 0 | bp->hw->sample_period | 0-u64max |
| HOST_DATA | 0 | bp->hw->state | s32min-s32max |
| HOST_DATA | 0 | bp->hw.aux_config | 0-u64max |
| HOST_DATA | 0 | bp->hw.aux_paused | 0-u32max |
| HOST_DATA | 0 | bp->hw.branch_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.branch_reg.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.branch_reg.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.branch_reg.reg | 0-u32max |
| HOST_DATA | 0 | bp->hw.conf | 0-u64max |
| HOST_DATA | 0 | bp->hw.conf1 | 0-u64max |
| HOST_DATA | 0 | bp->hw.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.config1 | 0-u64max |
| HOST_DATA | 0 | bp->hw.config_base | 0-u64max |
| HOST_DATA | 0 | bp->hw.dyn_constraint | 0-u64max |
| HOST_DATA | 0 | bp->hw.event_base | 0-u64max |
| HOST_DATA | 0 | bp->hw.event_base_rdpmc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.alloc | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.config | 0-u64max |
| HOST_DATA | 0 | bp->hw.extra_reg.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.extra_reg.reg | 0-u32max |
| HOST_DATA | 0 | bp->hw.flags | s32min-s32max |
| HOST_DATA | 0 | bp->hw.hrtimer._softexpires | s64min-s64max |
| HOST_DATA | 0 | bp->hw.hrtimer.is_hard | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_lazy | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_queued | 0 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_rel | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.is_soft | 0-1 |
| HOST_DATA | 0 | bp->hw.hrtimer.node.expires | s64min-s64max |
| HOST_DATA | 0 | bp->hw.hrtimer.node.node.node.__rb_parent_color | 1 |
| HOST_DATA | 0 | bp->hw.idx | s32min-s32max |
| HOST_DATA | 0 | bp->hw.info.address | 0-u64max |
| HOST_DATA | 0 | bp->hw.info.len | 0-255 |
| HOST_DATA | 0 | bp->hw.info.mask | 0-u64max |
| HOST_DATA | 0 | bp->hw.info.type | 0-255 |
| HOST_DATA | 0 | bp->hw.iommu_bank | 0-255 |
| HOST_DATA | 0 | bp->hw.iommu_cntr | 0-255 |
| HOST_DATA | 0 | bp->hw.last_cpu | s32min-s32max |
| HOST_DATA | 0 | bp->hw.last_period | 0-u64max |
| HOST_DATA | 0 | bp->hw.last_tag | 0-u64max |
| HOST_DATA | 0 | bp->hw.padding | 0-u16max |
| HOST_DATA | 0 | bp->hw.period_left.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | bp->hw.prev_count.a.a.counter | s64min-s64max |
| HOST_DATA | 0 | bp->hw.ptsc | 0-u64max |
| HOST_DATA | 0 | bp->hw.pwr_acc | 0-u64max |
| HOST_DATA | 0 | bp->hw.saved_metric | 0-u64max |
| HOST_DATA | 0 | bp->hw.saved_slots | 0-u64max |
| USER_DATA | 0 | bp->attr.bp_addr | 0-u64max[c] |
| USER_DATA | 0 | bp->attr.bp_len | 0-u64max |
| USER_DATA | 0 | bp->attr.bp_type | 2-4[c] |
| USER_DATA | 0 | bp->attr.disabled | 0[c] |
| USER_DATA | 0 | bp->attr.sig_data | 0-u64max |
| USER_DATA | 0 | bp->hw.info.address | 0-s32max[c] |
| HALF_LOCKED2 | 0 | &bp->child_mutex | |
| HALF_LOCKED2 | 0 | &bp->group_leader->ctx->mutex |