Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/vma.c call_mmap_prepare() -> map_set_anon()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 5695852749483675648 |
| PARAM_VALUE | 0 | map->addr | 0-18446744073709547520 |
| PARAM_VALUE | 0 | map->file | 4096-ptr_max |
| PARAM_VALUE | 0 | map->file->f_op->mmap_prepare | 4096-ptr_max |
| PARAM_VALUE | 0 | map->vm_ops | 6756087424609792000 |
| CAPPED_DATA | 0 | map->file | 1 |
| DATA_SOURCE | 0 | map | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->pgoff |