Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/proc/task_mmu.c do_pagemap_scan() -> pagemap_scan_writeback_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | arg | 3269087882135674880 |
| PARAM_VALUE | 0 | arg->end | 0,4096-u64max |
| PARAM_VALUE | 0 | arg->walk_end | 0,4096-u64max |
| PARAM_VALUE | 1 | *uargl | (-4611686018427387904)-4611686018427387903 |
| DATA_SOURCE | 1 | uargl | $1 |
| USER_DATA | 0 | arg->category_anyof_mask | 0-u64max |
| USER_DATA | 0 | arg->category_inverted | 0-u64max |
| USER_DATA | 0 | arg->category_mask | 0-u64max |
| USER_DATA | 0 | arg->end | 0,4096-u64max[c] |
| USER_DATA | 0 | arg->flags | 0-u64max |
| USER_DATA | 0 | arg->max_pages | 0-u64max |
| USER_DATA | 0 | arg->return_mask | 0-u64max |
| USER_DATA | 0 | arg->size | 0-u64max |
| USER_DATA | 0 | arg->start | 0-u64max |
| USER_DATA | 0 | arg->vec | 0-u64max |
| USER_DATA | 0 | arg->vec_len | 0-u64max |
| USER_DATA | 0 | arg->walk_end | 0,4096-u64max[c] |
| USER_DATA | 1 | uargl | 0-u64max |