Defined in 2 files as a prototype:

Defined in 3 files as a macro:

Defined in 7 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/huge_memory.c do_huge_pmd_anonymous_page() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,4096-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,4096-u64max[c]
UNITS 1 addr unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/huge_memory.c do_huge_pmd_numa_page() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,4096-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,4096-u64max[c]
UNITS 1 addr unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/huge_memory.c do_huge_pmd_uffd_rwp() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,4096-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,4096-u64max[c]
UNITS 1 addr unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/huge_memory.c do_huge_pmd_wp_page() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,4096-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,4096-u64max[c]
UNITS 1 addr unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,2097152-18446744073709551614
PARAM_VALUE 2 pmd 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 0 vma->vm_start 1
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 vma $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 pmd $2
PARAM_COMPARE 0 vma->vm_end > $0->vm_start
PARAM_COMPARE 1 addr < $0->vm_end
PARAM_COMPARE 1 addr < $0->vm_end
PARAM_COMPARE 1 addr >= $0->vm_start
PARAM_COMPARE 1 addr >= $0->vm_start
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,2097152-s32max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,2097152-18446744073709551614
PARAM_VALUE 2 pmd 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 0 vma->vm_start 1
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 vma $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 pmd $2
PARAM_COMPARE 0 vma->vm_end > $0->vm_start
PARAM_COMPARE 1 addr < $0->vm_end
PARAM_COMPARE 1 addr < $0->vm_end
PARAM_COMPARE 1 addr >= $0->vm_start
PARAM_COMPARE 1 addr >= $0->vm_start
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,2097152-s32max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte

mm/huge_memory.c map_anon_folio_pmd_nopf() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,2097152-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
CAPPED_DATA 2 pmd 1
DATA_SOURCE 0 vma $2
DATA_SOURCE 1 addr $3
DATA_SOURCE 2 pmd $1
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
NOSPEC 1 addr
NOSPEC 1 addr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0,2097152-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 pmd_ptl

mm/huge_memory.c remove_migration_pmd() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 2 pmd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vma unit_byte
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/huge_memory.c touch_pmd() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 2 pmd 4096-ptr_max
DATA_SOURCE 0 vma $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 pmd $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_file->f_mapping->host->i_size
UNITS 1 addr unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_insert_huge_pmd_page() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 2 pmd 4096-ptr_max
CAPPED_DATA 0 vma 1
CAPPED_DATA 0 vma->vm_start 1
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 pmd $4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_policy->mode
UNITS 1 addr unit_byte
HALF_LOCKED2 &drm->dmem->mutex

mm/memory.c do_set_pmd() -> update_mmu_cache_pmd()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 addr 0,2097152-u64max
PARAM_VALUE 2 pmd 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BIT_INFO 1 addr 0x0,0xffffffffffe00000
BIT_INFO 1 addr 0x0,0xffffffffffe00000
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 rcu_read