get_task_bps_mutex identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

kernel/events/hw_breakpoint.c, line 108 (as a function)

Referenced in 1 files:

kernel/events/hw_breakpoint.c

Smatch caller information:

kernel/events/hw_breakpoint.c assert_bp_constraints_lock_held() -> get_task_bps_mutex()

Type	Parameter	Key	Value
PARAM_VALUE	0	bp	4096-ptr_max
PARAM_VALUE	0	bp->hw.target	1-u64max
BUF_SIZE	0	bp	s32min-(-1),1-s32max
BUF_SIZE	0	bp	s32min-(-1),1-s32max
BUF_SIZE	0	bp->clock	(-1),8
BUF_SIZE	0	bp->ctx	(-1),432
BUF_SIZE	0	bp->hw.target	(-1),4,24,64,168-s32max
BUF_SIZE	0	bp->overflow_handler_context	(-1)-0,32
BUF_SIZE	0	bp->pmu_ctx	(-1),112
DATA_SOURCE	0	bp	$0
NOSPEC	0	bp->cpu
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.__reserved_2	0
USER_DATA	0	bp->attr.aux_action	0-u32max
USER_DATA	0	bp->attr.aux_sample_size	0-u32max
USER_DATA	0	bp->attr.aux_watermark	0-u32max
USER_DATA	0	bp->attr.bp_addr	0-u64max
USER_DATA	0	bp->attr.bp_len	0-u64max
USER_DATA	0	bp->attr.bp_type	0-u32max
USER_DATA	0	bp->attr.branch_sample_type	0-u64max
USER_DATA	0	bp->attr.clockid	s32min-s32max
USER_DATA	0	bp->attr.config	0-u64max
USER_DATA	0	bp->attr.config1	0-u64max
USER_DATA	0	bp->attr.config2	0-u64max
USER_DATA	0	bp->attr.config3	0-u64max
USER_DATA	0	bp->attr.config4	0-u64max
USER_DATA	0	bp->attr.disabled	0[c]
USER_DATA	0	bp->attr.kprobe_addr	0-u64max
USER_DATA	0	bp->attr.kprobe_func	0-u64max
USER_DATA	0	bp->attr.probe_offset	0-u64max
USER_DATA	0	bp->attr.read_format	0-30
USER_DATA	0	bp->attr.sample_freq	0-u64max
USER_DATA	0	bp->attr.sample_max_stack	1-u16max
USER_DATA	0	bp->attr.sample_period	0-u64max
USER_DATA	0	bp->attr.sample_regs_intr	0-u64max
USER_DATA	0	bp->attr.sample_regs_user	0-u64max
USER_DATA	0	bp->attr.sample_stack_user	0-u32max
USER_DATA	0	bp->attr.sample_type	0-33554430
USER_DATA	0	bp->attr.sig_data	0-u64max
USER_DATA	0	bp->attr.size	144
USER_DATA	0	bp->attr.type	0[c]
USER_DATA	0	bp->attr.uprobe_path	0-u64max
USER_DATA	0	bp->attr.wakeup_events	0-u32max
USER_DATA	0	bp->attr.wakeup_watermark	0-u32max
USER_DATA	0	bp->cpu	0-s32max[c]
USER_DATA	0	bp->hw.info.address	0-s32max[c]
USER_DATA	0	bp->orig_type	0-u32max
HALF_LOCKED2	0	&bp->child_mutex
HALF_LOCKED2	0	&bp->group_leader->ctx->mutex

kernel/events/hw_breakpoint.c bp_constraints_is_locked() -> get_task_bps_mutex()

Type	Parameter	Key	Value
DATA_SOURCE	0	bp	$0
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

kernel/events/hw_breakpoint.c bp_constraints_lock() -> get_task_bps_mutex()

Type	Parameter	Key	Value
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->group_leader->hw->addr_filters_gen	0-u64max
HOST_DATA	0	bp->group_leader->hw->freq_count_stamp	0-u64max
HOST_DATA	0	bp->group_leader->hw->freq_time_stamp	0-u64max
HOST_DATA	0	bp->group_leader->hw->interrupts	0-u64max
HOST_DATA	0	bp->group_leader->hw->interrupts_seq	0-u64max
HOST_DATA	0	bp->group_leader->hw->sample_period	0-u64max
HOST_DATA	0	bp->group_leader->hw->state	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.aux_config	0-u64max
HOST_DATA	0	bp->group_leader->hw.aux_paused	0-u32max
HOST_DATA	0	bp->group_leader->hw.branch_reg.alloc	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.branch_reg.config	0-u64max
HOST_DATA	0	bp->group_leader->hw.branch_reg.idx	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.branch_reg.reg	0-u32max
HOST_DATA	0	bp->group_leader->hw.conf	0-u64max
HOST_DATA	0	bp->group_leader->hw.conf1	0-u64max
HOST_DATA	0	bp->group_leader->hw.config	0-u64max
HOST_DATA	0	bp->group_leader->hw.config1	0-u64max
HOST_DATA	0	bp->group_leader->hw.config_base	0-u64max
HOST_DATA	0	bp->group_leader->hw.dyn_constraint	0-u64max
HOST_DATA	0	bp->group_leader->hw.event_base	0-u64max
HOST_DATA	0	bp->group_leader->hw.event_base_rdpmc	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.extra_reg.alloc	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.extra_reg.config	0-u64max
HOST_DATA	0	bp->group_leader->hw.extra_reg.idx	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.extra_reg.reg	0-u32max
HOST_DATA	0	bp->group_leader->hw.flags	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.hrtimer._softexpires	s64min-s64max
HOST_DATA	0	bp->group_leader->hw.hrtimer.is_hard	0-1
HOST_DATA	0	bp->group_leader->hw.hrtimer.is_lazy	0-1
HOST_DATA	0	bp->group_leader->hw.hrtimer.is_queued	0-1
HOST_DATA	0	bp->group_leader->hw.hrtimer.is_rel	0-1
HOST_DATA	0	bp->group_leader->hw.hrtimer.is_soft	0-1
HOST_DATA	0	bp->group_leader->hw.hrtimer.node.expires	s64min-s64max
HOST_DATA	0	bp->group_leader->hw.hrtimer.node.node.node.__rb_parent_color	0-u64max
HOST_DATA	0	bp->group_leader->hw.idx	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.info.address	0-u64max
HOST_DATA	0	bp->group_leader->hw.info.len	0-255
HOST_DATA	0	bp->group_leader->hw.info.mask	0-u64max
HOST_DATA	0	bp->group_leader->hw.info.type	0-255
HOST_DATA	0	bp->group_leader->hw.iommu_bank	0-255
HOST_DATA	0	bp->group_leader->hw.iommu_cntr	0-255
HOST_DATA	0	bp->group_leader->hw.last_cpu	s32min-s32max
HOST_DATA	0	bp->group_leader->hw.last_period	0-u64max
HOST_DATA	0	bp->group_leader->hw.last_tag	0-u64max
HOST_DATA	0	bp->group_leader->hw.padding	0-u16max
HOST_DATA	0	bp->group_leader->hw.period_left.a.a.counter	s64min-s64max
HOST_DATA	0	bp->group_leader->hw.prev_count.a.a.counter	s64min-s64max
HOST_DATA	0	bp->group_leader->hw.ptsc	0-u64max
HOST_DATA	0	bp->group_leader->hw.pwr_acc	0-u64max
HOST_DATA	0	bp->group_leader->hw.saved_metric	0-u64max
HOST_DATA	0	bp->group_leader->hw.saved_slots	0-u64max
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-1
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		_T->lock
HALF_LOCKED2	0	&bp->child_mutex
HALF_LOCKED2	0	&bp->group_leader->ctx->mutex