Open Menu /

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

mm/huge_memory.c copy_huge_non_present_pmd() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma->vm_mm (-1),1-s32max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $5
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffdffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/huge_memory.c copy_huge_pmd() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma->vm_mm (-1),1-s32max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $5
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffdffffff
TERMINATED 0 vma->vmlock_dep_map.name 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_clear_vma() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
CAPPED_DATA 0 vma->vm_userfaultfd_ctx.ctx 1
DATA_SOURCE 0 vma $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/hugetlb.c copy_hugetlb_page_range() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma->vm_policy 1
DATA_SOURCE 0 vma $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/hugetlb.c copy_hugetlb_page_range() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $2
TERMINATED 0 vma->vm_mm->mm_lock_seq.dep_map.name 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_file->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/hugetlb.c copy_hugetlb_page_range() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $2
TERMINATED 0 vma->vm_mm->mm_lock_seq.dep_map.name 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_file->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/hugetlb.c hugetlb_install_folio() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma 1
CAPPED_DATA 0 vma->vm_mm->mm_id 1
CAPPED_DATA 0 vma->vm_start 1
DATA_SOURCE 0 vma $0
PARAM_COMPARE 0 vma->vm_end > $0->vm_start
TERMINATED 0 vma->vm_mm->mm_lock_seq.dep_map.name 1
TERMINATED 0 vma->vm_mm->write_protect_seq.dep_map.name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c __copy_present_ptes() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $0
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffdffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 dst_ptl
LOCK2 rcu_read
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c copy_nonpresent_pte() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma->vm_mm (-1),1-s32max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $4
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffdffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 dst_ptl
LOCK2 rcu_read
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c copy_present_page() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $0
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffdffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 dst_ptl
LOCK2 rcu_read
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/khugepaged.c file_backed_vma_is_retractable() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
DATA_SOURCE 0 vma $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct address_space)->i_mmap_rwsem

mm/khugepaged.c try_collapse_pte_mapped_thp() -> userfaultfd_protected()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
DATA_SOURCE 0 vma r vma_lookup
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock