Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/ptdump.c ptdump_pte_entry() -> (struct ptdump_state)->effective_prot_pte()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->effective_prot_pte 1-u64max
BUF_SIZE 0 st (-1),4,8,16,24,56,64,128,152,216,8248
BUF_SIZE 0 st (-1),4,8,16,24,56,64,128,152,216,8248
DATA_SOURCE 1 pte r ptep_get
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 ptl

Smatch assignments to (struct ptdump_state)->effective_prot_pte:

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

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

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

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

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

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

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

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