Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/huge_memory.c insert_pud() -> maybe_pud_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
BUF_SIZE 1 vma (-1),4,24,64,168-s32max
BUF_SIZE 1 vma (-1),4,24,64,168-s32max
CAPPED_DATA 1 vma->vm_start 1
DATA_SOURCE 1 vma $0
PARAM_COMPARE 1 vma->vm_end > $1->vm_start
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vma->vm_start
LOCK2 global &dax_srcu
HALF_LOCKED2 &mm->mmap_lock

mm/huge_memory.c insert_pud() -> maybe_pud_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
BUF_SIZE 1 vma (-1),4,24,64,168-s32max
BUF_SIZE 1 vma (-1),4,24,64,168-s32max
CAPPED_DATA 1 vma->vm_start 1
DATA_SOURCE 0 pud r pud_mkyoung
DATA_SOURCE 1 vma $0
PARAM_COMPARE 1 vma->vm_end > $1->vm_start
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vma->vm_start
LOCK2 global &dax_srcu
HALF_LOCKED2 &mm->mmap_lock