Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/ptrace.c ptrace_write_dr7() -> decode_dr7()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dr7 | 0-4294902783,18446744071562067968-u64max |
| PARAM_VALUE | 1 | bpnum | 0-3 |
| PARAM_VALUE | 2 | len | 7115584113161031680 |
| PARAM_VALUE | 3 | type | 7112005313793835008 |
| DATA_SOURCE | 0 | dr7 | $1 [m] |
| FUZZY_MAX | 1 | bpnum | 3 |
| HARD_MAX | 1 | bpnum | 3 |
| USER_DATA | 0 | dr7 | 0-4294902783[c] |