Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 4 files:
- arch/powerpc/lib/code-patching.c, line 144
- arch/x86/kernel/ldt.c, line 410
- mm/memory.c, line 419
- mm/vma_exec.c
Smatch caller information:
mm/vma_exec.c relocate_vma_down() -> free_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 7920328892798767104 |
| PARAM_VALUE | 0 | tlb->active | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->batch | 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->end | 0,u64max |
| PARAM_VALUE | 0 | tlb->freed_tables | 0 |
| PARAM_VALUE | 0 | tlb->fullmm | 0 |
| PARAM_VALUE | 0 | tlb->local.max | 8 |
| 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 | addr | 1-u64max |
| PARAM_VALUE | 2 | end | 1-u64max |
| PARAM_VALUE | 3 | floor | 1-u64max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | end | |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | end | unit_byte |
| UNITS | 3 | floor | unit_byte |
| UNITS | 4 | ceiling | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &tsk->signal->exec_update_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma_exec.c relocate_vma_down() -> free_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 7920328892798767104 |
| PARAM_VALUE | 0 | tlb->active | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->batch | 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->end | 0,u64max |
| PARAM_VALUE | 0 | tlb->freed_tables | 0 |
| PARAM_VALUE | 0 | tlb->fullmm | 0 |
| PARAM_VALUE | 0 | tlb->local.max | 8 |
| 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 | 2 | end | 1-u64max |
| CAPPED_DATA | 3 | floor | 1 |
| CAPPED_DATA | 3 | floor | 1 |
| PARAM_COMPARE | 1 | addr | >= $3 |
| PARAM_COMPARE | 3 | floor | <= $1 |
| PARAM_COMPARE | 3 | floor | <= $1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | addr | |
| NO_OVERFLOW_SIMPLE | 2 | end | |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | end | unit_byte |
| UNITS | 3 | floor | unit_byte |
| UNITS | 4 | ceiling | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &tsk->signal->exec_update_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/memory.c free_pgtables() -> free_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 5936228607209656320,6993215424518877184 |
| PARAM_VALUE | 0 | tlb->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->need_flush_all | 0 |
| DATA_SOURCE | 0 | tlb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | tlb->end | 0[c] |
| USER_DATA | 0 | tlb->start | 0-u64max[c] |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | end | unit_byte |
| UNITS | 3 | floor | unit_byte |
| UNITS | 4 | ceiling | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
arch/x86/kernel/ldt.c free_ldt_pgtables() -> free_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tlb | 7445084580125044736 |
| PARAM_VALUE | 0 | tlb->active | 4096-ptr_max |
| PARAM_VALUE | 0 | tlb->batch | 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->end | 0,u64max |
| PARAM_VALUE | 0 | tlb->freed_tables | 0 |
| PARAM_VALUE | 0 | tlb->fullmm | 1 |
| PARAM_VALUE | 0 | tlb->local.max | 8 |
| 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 | addr | 18379190079298994176,18446612132314218496 |
| PARAM_VALUE | 2 | end | 149533581377536,18379190629054808064,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 3 | floor | 18379190079298994176,18446612132314218496 |
| PARAM_VALUE | 4 | ceiling | 149533581377536,18379190629054808064,18379471554275704832,18446612682070032384 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->context.ldt_usr_sem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &old_mm->context.lock | ||
| HALF_LOCKED2 | &old_mm->mmap_lock |