Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/debug_vm_pgtable.c debug_vm_pgtable() -> destroy_args()
| 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-u64max |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| MEM_ZERO | 0 | args | |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL |
mm/debug_vm_pgtable.c init_args() -> destroy_args()
| 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 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->p4dp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pgdp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pmd_pfn | u64max |
| PARAM_VALUE | 0 | args->pmdp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pte_pfn | u64max |
| PARAM_VALUE | 0 | args->pud_pfn | u64max |
| PARAM_VALUE | 0 | args->pudp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->vma | 0,4096-ptr_max |
| CAPPED_DATA | 0 | args->vaddr | 1 |
| DATA_SOURCE | 0 | args | $0 |
| MEM_ZERO | 0 | args | |
| NOCHECK_CALL |