Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mprotect.c change_present_ptes() -> set_write_prot_commit_flush_ptes()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->context.asid_transition 1
PARAM_VALUE 0 vma->vm_mm->iommu_mm->pasid 0-4294967295
PARAM_VALUE 0 vma->vm_mm->notifier_subscriptions->active_invalidate_ranges 0-s64max
PARAM_VALUE 0 vma->vm_mm->notifier_subscriptions->has_itree 0-1
PARAM_VALUE 0 vma->vm_mm->notifier_subscriptions->invalidate_seq 0-s64max
PARAM_VALUE 0 vma->vm_mm->tlb_flush_batched.counter 0-s32max
PARAM_VALUE 0 vma->vm_ops->access 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->close 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->fault 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->find_normal_page 0,7701293790578647040
PARAM_VALUE 0 vma->vm_ops->get_policy 0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE 0 vma->vm_ops->huge_fault 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->map_pages 0,3176874211750576128,5698041470598119424
PARAM_VALUE 0 vma->vm_ops->mapped 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE 0 vma->vm_ops->may_split 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->mprotect 0,1325936775103746048
PARAM_VALUE 0 vma->vm_ops->mremap 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE 0 vma->vm_ops->name 0,4895095206942478336,8589198899344281600
PARAM_VALUE 0 vma->vm_ops->open 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->page_mkwrite 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->pagesize 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->pfn_mkwrite 0,612326616561868800,6156956592968101888,7842464310733856768,8888598022343528448,8992640491671437312,9170345393898926080
PARAM_VALUE 0 vma->vm_ops->set_policy 0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE 0 vma->vm_ops->uffd_ops 0,2881150691235323904,7418773112577396736
PARAM_VALUE 1 folio 0,4096-ptr_max
PARAM_VALUE 2 page 0,4096-ptr_max
PARAM_VALUE 4 ptep 4096-ptr_max
PARAM_VALUE 8 tlb 1328374472486391808,3520855664362516480,5518561256286212096,8385517359223296000
PARAM_VALUE 8 tlb->active 4096-ptr_max
PARAM_VALUE 8 tlb->batch 0
PARAM_VALUE 8 tlb->fullmm 0
PARAM_VALUE 8 tlb->local.max 8
PARAM_VALUE 8 tlb->local.nr 0
PARAM_VALUE 8 tlb->mm 4096-ptr_max
CAPPED_DATA 1 folio 1
CAPPED_DATA 7 nr_ptes 1
DATA_SOURCE 0 vma $1
DATA_SOURCE 1 folio $7
DATA_SOURCE 2 page $8
DATA_SOURCE 3 addr $2
DATA_SOURCE 4 ptep $3
DATA_SOURCE 5 oldpte r modify_prot_start_ptes
DATA_SOURCE 7 nr_ptes $4
DATA_SOURCE 8 tlb $0
NOSPEC 7 nr_ptes
NOSPEC 7 nr_ptes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vma->vm_end 1-u64max[c]
USER_DATA 0 vma->vm_start 1-u64max[c]
USER_DATA 3 addr 0-u64max[c]
USER_DATA 4 ptep 4096-ptr_max[c][u]
USER_DATA 7 nr_ptes 0,2-s32max[c]
USER_DATA 8 tlb->end 1-u32max[c]
USER_DATA 8 tlb->start 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_file->f_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 3 addr unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock