Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/events/hw_breakpoint.c bp_constraints_is_locked() -> percpu_is_read_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 6313341910690820096 |
| PARAM_VALUE | 0 | sem->block.counter | 0 |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |