Defined in 1 files as a member:

Defined in 8 files as a macro:

Defined in 6 files as a function:

Referenced in 51 files:

Smatch caller information:

arch/x86/power/hibernate.c relocate_restore_code() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp r pud_offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
LOCK2 irq

arch/x86/mm/init_64.c __init_extra_mapping() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp r pud_offset
NOCHECK_CALL

arch/x86/mm/init_64.c ident_pud_init() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 1 pud r __pud
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

arch/x86/mm/init_64.c ident_pud_init() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

arch/x86/mm/init_64.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &init_mm.page_table_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

arch/x86/mm/init_64.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/mm/init_64.c pud_populate_safe() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &init_mm.page_table_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct mm_struct)->page_table_lock

arch/x86/mm/init_64.c set_pud_init() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
DATA_SOURCE 1 pud $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/mm/init_64.c set_pud_init() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
DATA_SOURCE 1 pud $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/entry/vsyscall/vsyscall_64.c set_vsyscall_pgtable_user_bits() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp r pud_offset
NOCHECK_CALL
LOCK2 irq

mm/percpu.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/machine_kexec_64.c init_transition_pgtable() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp r pud_offset
NOCHECK_CALL

mm/kasan/init.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

mm/kasan/init.c pud_populate() -> set_pud()

Type Parameter Key Value
DATA_SOURCE 0 pudp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/mm/pti.c pti_user_pagetable_walk_pmd() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp r pud_offset
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/espfix_64.c init_espfix_ap() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 1 pud r __pud
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &espfix_init_mutex
HALF_LOCKED2 irq

mm/hugetlb.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->vm_file->f_mapping->i_mmap_rwsem

mm/hugetlb.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->page_table_lock
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock
HALF_LOCKED2 &vma->vm_file->f_mapping->i_mmap_rwsem
TYPE_LOCK (struct address_space)->i_mmap_rwsem
TYPE_LOCK (struct mm_struct)->page_table_lock

mm/mremap.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 new_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 new_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

arch/x86/mm/kasan_init_64.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
NOCHECK_CALL
LOCK2 irq

mm/memory.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock

mm/memory.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->context.ldt_usr_sem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/pgtable-generic.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

arch/x86/mm/pat/set_memory.c alloc_pmd_page() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &mem_enc_lock

arch/x86/mm/pat/set_memory.c collapse_pud_page() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 global &cpa_lock
LOCK2 global &pgd_lock

arch/x86/mm/pat/set_memory.c populate_pud() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &mem_enc_lock

arch/x86/mm/pat/set_memory.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &mem_enc_lock

mm/debug_vm_pgtable.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 0,4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &args.mm->page_table_lock

mm/debug_vm_pgtable.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
NOCHECK_CALL

arch/x86/mm/pgtable.c pud_clear() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/mm/pgtable.c pud_populate() -> set_pud()

Type Parameter Key Value
DATA_SOURCE 0 pudp $1
NOCHECK_CALL

arch/x86/mm/pgtable.c pudp_set_access_flags() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $2
DATA_SOURCE 1 pud $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dax_srcu

arch/x86/power/hibernate_64.c set_up_temporary_text_mapping() -> set_pud()

Type Parameter Key Value
BIT_INFO 1 pud 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_cleanmfnmap_pud() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $0
NOCHECK_CALL
LOCK2 irq

mm/sparse-vmemmap.c pud_populate() -> set_pud()

Type Parameter Key Value
PARAM_VALUE 0 pudp 4096-ptr_max
DATA_SOURCE 0 pudp $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq