Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/mm/init_64.c p4d_populate_safe() -> p4d_same()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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_p4d_init() -> p4d_same()

Type Parameter Key Value
DATA_SOURCE 1 p4d_b $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

mm/debug_vm_pgtable.c p4d_basic_tests() -> p4d_same()

Type Parameter Key Value