Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/proc/task_mmu.c do_pagemap_scan() -> pagemap_scan_flush_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3269087882135674880 |
| PARAM_VALUE | 0 | p->arg.end | 4096-u64max |
| PARAM_VALUE | 0 | p->vec_buf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->vec_buf_index | 0 |
| NOSPEC | 0 | p->arg.end | |
| USER_DATA | 0 | p->arg.category_anyof_mask | 0-u64max |
| USER_DATA | 0 | p->arg.category_inverted | 0-u64max |
| USER_DATA | 0 | p->arg.category_mask | 0-u64max |
| USER_DATA | 0 | p->arg.end | 4096-u64max[c] |
| USER_DATA | 0 | p->arg.flags | 0-u64max |
| USER_DATA | 0 | p->arg.max_pages | 0-u64max |
| USER_DATA | 0 | p->arg.return_mask | 0-u64max |
| USER_DATA | 0 | p->arg.size | 0-u64max |
| USER_DATA | 0 | p->arg.start | 0-u64max |
| USER_DATA | 0 | p->arg.vec | 0-u64max |
| USER_DATA | 0 | p->arg.vec_len | 0-u64max |
| USER_DATA | 0 | p->arg.walk_end | 0 |
| USER_DATA | 0 | p->masks_of_interest | 0-u64max |
| USER_DATA | 0 | p->vec_buf_len | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | p->vec_buf_len |