Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/mmap.c exit_mmap() -> unmap_vmas()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 5936228607209656320 |
| PARAM_VALUE | 0 | tlb->active | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->batch | 0 |
| PARAM_VALUE | 0 | tlb->batch_count | 0 |
| PARAM_VALUE | 0 | tlb->cleared_p4ds | 0 |
| PARAM_VALUE | 0 | tlb->cleared_pmds | 0 |
| PARAM_VALUE | 0 | tlb->cleared_ptes | 0 |
| PARAM_VALUE | 0 | tlb->cleared_puds | 0 |
| PARAM_VALUE | 0 | tlb->delayed_rmap | 0 |
| PARAM_VALUE | 0 | tlb->end | 0,u64max |
| PARAM_VALUE | 0 | tlb->freed_tables | 0 |
| PARAM_VALUE | 0 | tlb->fullmm | 1 |
| PARAM_VALUE | 0 | tlb->fully_unshared_tables | 0 |
| PARAM_VALUE | 0 | tlb->local.max | 8 |
| PARAM_VALUE | 0 | tlb->local.next | 0 |
| PARAM_VALUE | 0 | tlb->local.nr | 0 |
| PARAM_VALUE | 0 | tlb->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->need_flush_all | 0 |
| PARAM_VALUE | 0 | tlb->unshared_tables | 0 |
| PARAM_VALUE | 0 | tlb->vma_pfn | 0 |
| PARAM_VALUE | 1 | unmap | 3577346597428678656 |
| PARAM_VALUE | 1 | unmap->first | 4096-ptr_max |
| PARAM_VALUE | 1 | unmap->mas | 7384155619282165760 |
| PARAM_VALUE | 1 | unmap->pg_end | 0 |
| PARAM_VALUE | 1 | unmap->pg_start | 0 |
| PARAM_VALUE | 1 | unmap->tree_end | u64max |
| PARAM_VALUE | 1 | unmap->vma_end | u64max |
| PARAM_VALUE | 1 | unmap->vma_start | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma.c unmap_region() -> unmap_vmas()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 6993215424518877184 |
| PARAM_VALUE | 0 | tlb->active | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->batch | 0 |
| PARAM_VALUE | 0 | tlb->batch_count | 0 |
| PARAM_VALUE | 0 | tlb->cleared_p4ds | 0 |
| PARAM_VALUE | 0 | tlb->cleared_pmds | 0 |
| PARAM_VALUE | 0 | tlb->cleared_ptes | 0 |
| PARAM_VALUE | 0 | tlb->cleared_puds | 0 |
| PARAM_VALUE | 0 | tlb->delayed_rmap | 0 |
| PARAM_VALUE | 0 | tlb->end | 0,u64max |
| PARAM_VALUE | 0 | tlb->freed_tables | 0 |
| PARAM_VALUE | 0 | tlb->fullmm | 0 |
| PARAM_VALUE | 0 | tlb->fully_unshared_tables | 0 |
| PARAM_VALUE | 0 | tlb->local.max | 8 |
| PARAM_VALUE | 0 | tlb->local.next | 0 |
| PARAM_VALUE | 0 | tlb->local.nr | 0 |
| PARAM_VALUE | 0 | tlb->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->need_flush_all | 0 |
| PARAM_VALUE | 0 | tlb->unshared_tables | 0 |
| PARAM_VALUE | 0 | tlb->vma_pfn | 0 |
| PARAM_VALUE | 1 | unmap | 3813950624930131968,7773808190618550272,9155364198634188800 |
| PARAM_VALUE | 1 | unmap->first | 4096-ptr_max |
| PARAM_VALUE | 1 | unmap->first->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 1 | unmap->first->vm_mm->hiwater_rss | 1-u64max |
| PARAM_VALUE | 1 | unmap->mas | 3206200147527860224,4666393937844658176,5695852749483675888,7342498018941853696 |
| DATA_SOURCE | 1 | unmap | $0 |
| NOSPEC | 1 | unmap->vma_end | |
| NOSPEC | 1 | unmap->vma_start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | unmap->tree_reset | 0-u64max |
| USER_DATA | 1 | unmap->vma_end | 0-u64max |
| USER_DATA | 1 | unmap->vma_start | 0-u64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |