Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/events/hw_breakpoint.c max_bp_pinned_slots() -> max_task_bp_pinned()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
PARAM_VALUE 1 type 0
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
DATA_SOURCE 1 type $1
CONSTRAINT 0 cpu <3035
HALF_LOCKED2 &bp->child_mutex
HALF_LOCKED2 &bp->group_leader->ctx->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read