Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/vma.c copy_vma() -> vma_merge_copied_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmg | 1474854196907466752 |
| PARAM_VALUE | 0 | vmg->__adjust_middle_start | 0 |
| PARAM_VALUE | 0 | vmg->__adjust_next_start | 0 |
| PARAM_VALUE | 0 | vmg->__remove_middle | 0 |
| PARAM_VALUE | 0 | vmg->__remove_next | 0 |
| PARAM_VALUE | 0 | vmg->copied_from | 0 |
| PARAM_VALUE | 0 | vmg->give_up_on_oom | 0 |
| PARAM_VALUE | 0 | vmg->just_expand | 0 |
| PARAM_VALUE | 0 | vmg->middle | 4096-ptr_max |
| PARAM_VALUE | 0 | vmg->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmg->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | vmg->state | 0 |
| PARAM_VALUE | 0 | vmg->target | 0 |
| PARAM_VALUE | 0 | vmg->uffd_ctx.ctx | 0 |
| PARAM_VALUE | 0 | vmg->vmi | 7652374247806283776 |
| USER_DATA | 0 | vmg->anon_pgoff | 0-524287[c] |
| USER_DATA | 0 | vmg->pgoff | 0-524287[c] |
| USER_DATA | 0 | vmg->start | 0-s32max[c] |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |