Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/huge_memory.c vmf_insert_folio_pmd() -> insert_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_file 4096-ptr_max
PARAM_VALUE 1 addr 0,2097152-u64max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
DATA_SOURCE 5 write $2
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 3 fop 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0,2097152-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
HALF_LOCKED2 global &dax_srcu

mm/huge_memory.c vmf_insert_pfn_pmd() -> insert_pmd()

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_flags 1024-u64max
PARAM_VALUE 1 addr 0,2097152-u64max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
DATA_SOURCE 5 write $2
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 3 fop 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0,2097152-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bo->base.resv
HALF_LOCKED2 obj->resv