Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/init_64.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pfn unit_page
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/mm/init_64.c pgd_populate_safe() -> paravirt_alloc_p4d()

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

mm/percpu.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
NOCHECK_CALL
UNITS 1 pfn unit_page
LOCK2 irq

mm/kasan/init.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pfn unit_page
HALF_LOCKED2 irq

arch/x86/mm/kasan_init_64.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
NOCHECK_CALL
UNITS 1 pfn unit_page
LOCK2 irq

mm/memory.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 0 mm s32min-(-1),1-s32max
DATA_SOURCE 0 mm $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mm->context.ldt->nr_entries 1-8192[c]
UNITS 0 mm unit_byte
UNITS 1 pfn unit_page
LOCK2 0 &mm->page_table_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &mm->context.ldt_usr_sem
HALF_LOCKED2 0 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

mm/debug_vm_pgtable.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
PREEMPT_ADD
NOCHECK_CALL
UNITS 1 pfn unit_page
LOCK2 &args.mm->page_table_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

mm/sparse-vmemmap.c pgd_populate() -> paravirt_alloc_p4d()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
DATA_SOURCE 0 mm $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pfn unit_page
HALF_LOCKED2 irq