note_kasan_page_table identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

mm/ptdump.c, line 17 (as a function)

Referenced in 1 files:

mm/ptdump.c

Smatch caller information:

mm/ptdump.c ptdump_p4d_entry() -> note_kasan_page_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	walk	934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE	0	walk->action	0-2
PARAM_VALUE	0	walk->mm	4096-ptr_max
PARAM_VALUE	0	walk->ops	4096-ptr_max
PARAM_VALUE	0	walk->ops->install_pte	0,1044397068690849792
PARAM_VALUE	0	walk->ops->p4d_entry	0,2588602558124785664,5328599830014066688
PARAM_VALUE	0	walk->ops->pgd_entry	0,2040133486307762176
PARAM_VALUE	0	walk->ops->pmd_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pre_vma	0,4646808277758689280
PARAM_VALUE	0	walk->ops->pte_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pte_hole	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pud_entry	0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE	0	walk->vma	0,4096-ptr_max
PARAM_VALUE	0	walk->vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
BUF_SIZE	0	walk->mm	s32min-(-1),1-s32max
BUF_SIZE	0	walk->private	(-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA	0	walk->vma	1
DATA_SOURCE	0	walk	$3
DATA_SOURCE	1	addr	$1
BIT_INFO	0	walk->ops	0x0,0x7fffffffffffffff
NOSPEC	1	addr
NOSPEC	1	addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	walk->private	4096-ptr_max[u]
USER_DATA	1	addr	0-u64max[c]
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_pgoff
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_start
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		global &init_mm.mmap_lock

mm/ptdump.c ptdump_pgd_entry() -> note_kasan_page_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	walk	934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE	0	walk->action	0-2
PARAM_VALUE	0	walk->mm	4096-ptr_max
PARAM_VALUE	0	walk->ops	4096-ptr_max
PARAM_VALUE	0	walk->ops->install_pte	0,1044397068690849792
PARAM_VALUE	0	walk->ops->p4d_entry	0,2588602558124785664,5328599830014066688
PARAM_VALUE	0	walk->ops->pgd_entry	0,2040133486307762176
PARAM_VALUE	0	walk->ops->pmd_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pre_vma	0,4646808277758689280
PARAM_VALUE	0	walk->ops->pte_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pte_hole	0,628487719654023168,709231564179075072,3638815882446880768,4544569123095990272,4904888130885226496,8747928521055248384,8751955949471588352
PARAM_VALUE	0	walk->ops->pud_entry	0,2118803419108319232,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE	0	walk->vma	0,4096-ptr_max
PARAM_VALUE	0	walk->vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
BUF_SIZE	0	walk->mm	s32min-(-1),1-s32max
BUF_SIZE	0	walk->private	(-1),4,8,16,24,40,56,64,128,152,216,8248
CAPPED_DATA	0	walk->vma	1
DATA_SOURCE	0	walk	$3
DATA_SOURCE	1	addr	$1
BIT_INFO	0	walk->ops	0x0,0x7fffffffffffffff
NOSPEC	1	addr
NOSPEC	1	addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	walk->private	4096-ptr_max[u]
USER_DATA	1	addr	0-u64max[c]
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		global &init_mm.mmap_lock

mm/ptdump.c ptdump_pmd_entry() -> note_kasan_page_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	walk	934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE	0	walk->action	0
PARAM_VALUE	0	walk->mm	4096-ptr_max
PARAM_VALUE	0	walk->ops	4096-ptr_max
PARAM_VALUE	0	walk->ops->install_pte	0,1044397068690849792
PARAM_VALUE	0	walk->ops->p4d_entry	0,2588602558124785664,5328599830014066688
PARAM_VALUE	0	walk->ops->pgd_entry	0,2040133486307762176
PARAM_VALUE	0	walk->ops->pmd_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pre_vma	0,4646808277758689280
PARAM_VALUE	0	walk->ops->pte_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pte_hole	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pud_entry	0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE	0	walk->vma	0,4096-ptr_max
PARAM_VALUE	0	walk->vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
BUF_SIZE	0	walk->mm	s32min-(-1),1-s32max
BUF_SIZE	0	walk->private	(-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA	0	walk->vma	1
DATA_SOURCE	0	walk	$3
DATA_SOURCE	1	addr	$1
BIT_INFO	0	walk->ops	0x0,0x7fffffffffffffff
NOSPEC	1	addr
NOSPEC	1	addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	walk->private	4096-ptr_max[u]
USER_DATA	1	addr	0-u64max[c]
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_end
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_start
HALF_LOCKED2		&mm->mmap_lock

mm/ptdump.c ptdump_pud_entry() -> note_kasan_page_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	walk	934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE	0	walk->action	0
PARAM_VALUE	0	walk->mm	4096-ptr_max
PARAM_VALUE	0	walk->ops	4096-ptr_max
PARAM_VALUE	0	walk->ops->install_pte	0,1044397068690849792
PARAM_VALUE	0	walk->ops->p4d_entry	0,2588602558124785664,5328599830014066688
PARAM_VALUE	0	walk->ops->pgd_entry	0,2040133486307762176
PARAM_VALUE	0	walk->ops->pmd_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pre_vma	0,4646808277758689280
PARAM_VALUE	0	walk->ops->pte_entry	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pte_hole	0,4096-ptr_max
PARAM_VALUE	0	walk->ops->pud_entry	0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE	0	walk->vma	0,4096-ptr_max
PARAM_VALUE	0	walk->vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
BUF_SIZE	0	walk->mm	s32min-(-1),1-s32max
BUF_SIZE	0	walk->private	(-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA	0	walk->vma	1
DATA_SOURCE	0	walk	$3
DATA_SOURCE	1	addr	$1
BIT_INFO	0	walk->ops	0x0,0x7fffffffffffffff
NOSPEC	1	addr
NOSPEC	1	addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	walk->private	4096-ptr_max[u]
USER_DATA	1	addr	0-u64max[c]
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_pgoff
NO_OVERFLOW_SIMPLE	0	walk->vma->vm_start
HALF_LOCKED2		&mm->mmap_lock