Defined in 3 files as a prototype:

Defined in 4 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/huge_memory.c __split_huge_pmd_locked() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmdp 4096-ptr_max
BUF_SIZE 0 mm (-1),1-s32max
BUF_SIZE 0 mm (-1),1-s32max
DATA_SOURCE 1 pmdp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &vma->vm_private_data->rw_sema

mm/huge_memory.c __split_huge_zero_page_pmd() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmdp 4096-ptr_max
BUF_SIZE 0 mm (-1),1-s32max
BUF_SIZE 0 mm (-1),1-s32max
DATA_SOURCE 1 pmdp $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &vma->vm_private_data->rw_sema
HALF_LOCKED2 ptl

mm/huge_memory.c move_huge_pmd() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmdp 4096-ptr_max
DATA_SOURCE 1 pmdp $3
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 new_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/huge_memory.c move_pages_huge_pmd() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mm_users.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->task_size 1-u64max
PARAM_VALUE 1 pmdp 4096-ptr_max
CAPPED_DATA 0 mm 1
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pmdp $2
UNITS 0 mm unit_byte
LOCK2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/huge_memory.c zap_deposited_table() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 1 pmdp 4096-ptr_max
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pmdp $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

mm/debug_vm_pgtable.c pmd_advanced_tests() -> pgtable_trans_huge_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmdp 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL