Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/mm/init_64.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &init_mm.page_table_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

mm/kasan/init.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

arch/x86/mm/kasan_init_64.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
LOCK2 irq

mm/memory.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock

mm/pgtable-generic.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

arch/x86/boot/startup/sme.c native_set_p4d() -> native_make_p4d()

Type Parameter Key Value

arch/x86/boot/startup/sme.c sme_prepare_pgd() -> native_make_p4d()

Type Parameter Key Value
BIT_INFO 0 val 0x63,0xffffffffffffffff

mm/debug_vm_pgtable.c p4d_clear() -> native_make_p4d()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PREEMPT_ADD
HALF_LOCKED2 &args.mm->page_table_lock

arch/x86/xen/mmu_pv.c xen_make_p4d() -> native_make_p4d()

Type Parameter Key Value
DATA_SOURCE 0 val r pte_pfn_to_mfn