Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/coredump.c dump_user_range() -> get_dump_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 1 | locked | 2455207872890875904 |
| PARAM_VALUE | 1 | *locked | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |