Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mprotect.c change_pud_range() -> change_pmd_range()

Type Parameter Key Value
PARAM_VALUE 0 tlb 697157037476265984,1328374472486391808,3520855664362516480,5518561256286212096,6288812456027070464,8385517359223296000
PARAM_VALUE 0 tlb->active 4096-ptr_max
PARAM_VALUE 0 tlb->batch 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 1 vma 4096-ptr_max
PARAM_VALUE 1 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 vma->vm_mm 4096-ptr_max
PARAM_VALUE 1 vma->vm_mm->notifier_subscriptions->has_itree 0-1
PARAM_VALUE 2 pud 4096-ptr_max
PARAM_VALUE 4 end 0
PARAM_VALUE 6 cp_flags 0-2,4,8-9,16,32-33,40-41
CAPPED_DATA 3 addr 1
CAPPED_DATA 3 addr 1
DATA_SOURCE 0 tlb $0
DATA_SOURCE 1 vma $1
DATA_SOURCE 3 addr $3 [m]
DATA_SOURCE 5 newprot $5
DATA_SOURCE 6 cp_flags $6
FUZZY_MAX 6 cp_flags 32
PARAM_COMPARE 3 addr >= $4
PARAM_COMPARE 3 addr >= $4
PARAM_COMPARE 4 end <= $3
NOSPEC 1 vma->vm_start
NOSPEC 3 addr
NOSPEC 3 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tlb->end 1-u32max[c]
USER_DATA 0 tlb->start 0-u64max[c]
USER_DATA 1 vma->vm_start 1-u64max[c]
USER_DATA 3 addr 0-u64max[c]
USER_DATA 4 end 0[c]
NO_OVERFLOW_SIMPLE 0 tlb->mm->arg_start
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_file->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 1 vma->vm_file->f_mapping->host->i_size
NO_OVERFLOW_SIMPLE 1 vma->vm_start
NO_OVERFLOW_SIMPLE 3 addr
NO_OVERFLOW_SIMPLE 4 end
UNITS 3 addr unit_byte
UNITS 4 end unit_byte
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 _T->lock