Open Menu /

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() -> free_pgtables()

Type Parameter Key Value
PARAM_VALUE 0 tlb 5936228607209656320
PARAM_VALUE 0 tlb->fullmm 1
PARAM_VALUE 0 tlb->mm 4096-ptr_max
PARAM_VALUE 0 tlb->need_flush_all 0
PARAM_VALUE 1 unmap 3577346597428678656
PARAM_VALUE 1 unmap->first 4096-ptr_max
PARAM_VALUE 1 unmap->mas 7384155619282165760
PARAM_VALUE 1 unmap->mm_wr_locked 1
PARAM_VALUE 1 unmap->pg_end 0
PARAM_VALUE 1 unmap->pg_start 0
PARAM_VALUE 1 unmap->tree_end 0
PARAM_VALUE 1 unmap->vma_end 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() -> free_pgtables()

Type Parameter Key Value
PARAM_VALUE 0 tlb 6993215424518877184
PARAM_VALUE 0 tlb->fullmm 0
PARAM_VALUE 0 tlb->mm 4096-ptr_max
PARAM_VALUE 0 tlb->need_flush_all 0
PARAM_VALUE 1 unmap 3813950624930131968,7773808190618550272,9155364198634188800
PARAM_VALUE 1 unmap->first 4096-ptr_max
PARAM_VALUE 1 unmap->first->vm_file->f_mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 1 unmap->first->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 unmap->first->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 unmap->first->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 unmap->first->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 unmap->first->vm_mm->hiwater_rss 1-u64max
PARAM_VALUE 1 unmap->first->vm_private_data->refs.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.dep_map->name 0-255
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.first_waiter->handoff_set 1
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.first_waiter->type 0-1
PARAM_VALUE 1 unmap->first->vm_private_data->rw_sema.osq.tail.counter 0-s32max
PARAM_VALUE 1 unmap->mas 3206200147527860224,4666393937844658176,5695852749483675888,7342498018941853696
PARAM_VALUE 1 unmap->mas->node 0
PARAM_VALUE 1 unmap->mas->status 1
DATA_SOURCE 1 unmap $0
NOSPEC 1 unmap->mas->last
NOSPEC 1 unmap->vma_end
NOSPEC 1 unmap->vma_start
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tlb->end 0-u32max[c]
USER_DATA 1 unmap->mas->index 0-u64max
USER_DATA 1 unmap->mas->last 0-u64max
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