Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmap.c exit_mmap() -> unmap_pgtable_init()

Type Parameter Key Value
PARAM_VALUE 0 unmap 3577346597428678656
PARAM_VALUE 0 unmap->first 4096-ptr_max
PARAM_VALUE 0 unmap->mas 7384155619282165760
PARAM_VALUE 0 unmap->mm_wr_locked 1
PARAM_VALUE 0 unmap->pg_end 0
PARAM_VALUE 0 unmap->pg_start 0
PARAM_VALUE 0 unmap->tree_end u64max
PARAM_VALUE 0 unmap->vma_end u64max
PARAM_VALUE 0 unmap->vma_start 0
PARAM_VALUE 1 vmi 7384155619282165760
PARAM_VALUE 1 vmi->mas.alloc 0
PARAM_VALUE 1 vmi->mas.mas_flags 0
PARAM_VALUE 1 vmi->mas.node_request 0
PARAM_VALUE 1 vmi->mas.sheaf 0
PARAM_VALUE 1 vmi->mas.status 0,2-3
PARAM_VALUE 1 vmi->mas.store_type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mm_struct)->mmap_lock