Defined in 1 files as a prototype:
Defined in 6 files as a function:
- arch/arm/kernel/kgdb.c, line 252 (as a function)
- arch/arm64/kernel/kgdb.c, line 315 (as a function)
- arch/parisc/kernel/kgdb.c, line 156 (as a function)
- arch/powerpc/kernel/kgdb.c, line 416 (as a function)
- arch/x86/kernel/kgdb.c, line 731 (as a function)
- kernel/debug/debug_core.c, line 156 (as a function)
Referenced in 1 files:
Smatch caller information:
kernel/debug/debug_core.c dbg_activate_sw_breakpoints() -> kgdb_arch_set_breakpoint()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bpt | 4096-ptr_max |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
kernel/debug/debug_core.c kgdb_validate_break_address() -> kgdb_arch_set_breakpoint()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bpt | 8445734849909932032 |
| PARAM_VALUE | 0 | bpt->bpt_addr | 0-3556549974045937663,6432617772963328000-u64max |
| USER_DATA | 0 | bpt->bpt_addr | 1-3556549974045937663,6432617772963328000-u64max[c] |
| HALF_LOCKED2 | rcu_read |