Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/ptrace.c ptrace_write_dr7() -> ptrace_modify_breakpoint()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 1-u64max |
| PARAM_VALUE | 1 | len | 64,68-76 |
| PARAM_VALUE | 2 | type | 128-131 |
| USER_DATA | 1 | len | 68-76[c] |
| USER_DATA | 2 | type | 129-131[c] |
| USER_DATA | 3 | disabled | 0[c] |