Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 6 files as a function:

Referenced in 6 files:

Smatch caller information:

mm/ptdump.c ptdump_hole() -> (struct ptdump_state)->note_page_pgd()

Type Parameter Key Value
PARAM_VALUE 0 pt_st 4096-ptr_max
BUF_SIZE 0 pt_st (-1),4,8,16,24,40,56,64,128,152,216,8248
BUF_SIZE 0 pt_st (-1),4,8,16,24,40,56,64,128,152,216,8248
DATA_SOURCE 1 addr $0
CONTAINER 0 -32+0 $(-1)
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0-u64max[c]
HALF_LOCKED2 &mm->mmap_lock

Smatch assignments to (struct ptdump_state)->note_page_pgd:

arch/x86/mm/dump_pagetables.c ptdump_walk_pgd_level_core() -> (struct ptdump_state)->note_page_pgd [4035570357576749056]

mm/ptdump.c note_kasan_page_table() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_hole() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_p4d_entry() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_pgd_entry() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_pmd_entry() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_pte_entry() -> (struct ptdump_state)->note_page_pgd [0-u64max]

mm/ptdump.c ptdump_pud_entry() -> (struct ptdump_state)->note_page_pgd [0-u64max]