Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/debug_vm_pgtable.c init_args() -> init_fixed_pfns()

Type Parameter Key Value
PARAM_VALUE 0 args 1719890046439915520
PARAM_VALUE 0 args->fixed_p4d_pfn u64max
PARAM_VALUE 0 args->fixed_pgd_pfn u64max
PARAM_VALUE 0 args->fixed_pmd_pfn u64max
PARAM_VALUE 0 args->fixed_pte_pfn u64max
PARAM_VALUE 0 args->fixed_pud_pfn u64max
PARAM_VALUE 0 args->is_contiguous_page 0
PARAM_VALUE 0 args->mm 4096-ptr_max
PARAM_VALUE 0 args->mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 args->p4dp 4096-ptr_max
PARAM_VALUE 0 args->pgdp 4096-ptr_max
PARAM_VALUE 0 args->pmd_pfn u64max
PARAM_VALUE 0 args->pmdp 4096-ptr_max
PARAM_VALUE 0 args->pte_pfn u64max
PARAM_VALUE 0 args->pud_pfn u64max
PARAM_VALUE 0 args->pudp 4096-ptr_max
PARAM_VALUE 0 args->vma 4096-ptr_max
PARAM_VALUE 0 args->vma->__vm_anon_pgoff_hi 0
PARAM_VALUE 0 args->vma->__vm_anon_pgoff_lo 0
PARAM_VALUE 0 args->vma->anon_name 0
PARAM_VALUE 0 args->vma->anon_vma 0
PARAM_VALUE 0 args->vma->numab_state 0
PARAM_VALUE 0 args->vma->pfnmap_track_ctx 0
PARAM_VALUE 0 args->vma->shared.rb.__rb_parent_color 0
PARAM_VALUE 0 args->vma->shared.rb.rb_left 0
PARAM_VALUE 0 args->vma->shared.rb.rb_right 0
PARAM_VALUE 0 args->vma->shared.rb_subtree_last 0
PARAM_VALUE 0 args->vma->swap_readahead_info.counter 0
PARAM_VALUE 0 args->vma->vm_end 0
PARAM_VALUE 0 args->vma->vm_file 0
PARAM_VALUE 0 args->vma->vm_flags 0
PARAM_VALUE 0 args->vma->vm_freeptr.v 0
PARAM_VALUE 0 args->vma->vm_lock_seq u32max
PARAM_VALUE 0 args->vma->vm_ops 6756087424609792000
PARAM_VALUE 0 args->vma->vm_page_prot.pgprot 0
PARAM_VALUE 0 args->vma->vm_pgoff 0
PARAM_VALUE 0 args->vma->vm_policy 0
PARAM_VALUE 0 args->vma->vm_private_data 0
PARAM_VALUE 0 args->vma->vm_refcnt.refs.counter 0
PARAM_VALUE 0 args->vma->vm_start 0
PARAM_VALUE 0 args->vma->vm_userfaultfd_ctx.ctx 0
PARAM_VALUE 0 args->vma->vmlock_dep_map->name 0-255
PARAM_VALUE 0 args->vma->vmlock_dep_map.cpu 0
PARAM_VALUE 0 args->vma->vmlock_dep_map.ip 0
PARAM_VALUE 0 args->vma->vmlock_dep_map.lock_type 0
CAPPED_DATA 0 args->vaddr 1
DATA_SOURCE 0 args $0
MEM_ZERO 0 args
NOCHECK_CALL