Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/debug_vm_pgtable.c init_args() -> debug_vm_pgtable_alloc_huge_page()
| 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 |
| PARAM_VALUE | 1 | order | 18 |
| CAPPED_DATA | 0 | args->vaddr | 1 |
| DATA_SOURCE | 0 | args | $0 |
| MEM_ZERO | 0 | args |
mm/debug_vm_pgtable.c init_args() -> debug_vm_pgtable_alloc_huge_page()
| 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 |
| PARAM_VALUE | 1 | order | 9 |
| CAPPED_DATA | 0 | args->vaddr | 1 |
| DATA_SOURCE | 0 | args | $0 |
| MEM_ZERO | 0 | args |