Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/debug_vm_pgtable.c destroy_args() -> debug_vm_pgtable_free_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->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pgdp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pmd_pfn | 0-12384898975268863,9223396226110586880-u64max |
| PARAM_VALUE | 0 | args->pmdp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pte_pfn | 0-12384898975268863,9223396226110586880-u64max |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pud_pfn | 0-12384898975268863,9223396226110586880-18446744073709551614 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 1 | pfn | 0-12384898975268863,9223396226110586880-18446744073709551614 |
| PARAM_VALUE | 2 | order | 18 |
| DATA_SOURCE | 0 | args | $0 |
| MEM_ZERO | 0 | args | |
| PREEMPT_ADD | |||
| NOCHECK_CALL |
mm/debug_vm_pgtable.c destroy_args() -> debug_vm_pgtable_free_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->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pgdp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pmd_pfn | 0-12384898975268863,9223396226110586880-18446744073709551614 |
| PARAM_VALUE | 0 | args->pmdp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pte_pfn | 0-12384898975268863,9223396226110586880-u64max |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pud_pfn | 0-12384898975268863,9223396226110586880-u64max |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 1 | pfn | 0-12384898975268863,9223396226110586880-18446744073709551614 |
| PARAM_VALUE | 2 | order | 9 |
| DATA_SOURCE | 0 | args | $0 |
| MEM_ZERO | 0 | args | |
| PREEMPT_ADD | |||
| NOCHECK_CALL |