Defined in 1 files as a prototype:
Defined in 7 files as a function:
- arch/arm/mm/dump.c, line 261 (as a function)
- arch/arm64/include/asm/ptdump.h, line 77 (as a function)
- arch/arm64/mm/ptdump.c, line 191 (as a function)
- arch/powerpc/mm/ptdump/ptdump.c, line 217 (as a function)
- arch/riscv/mm/ptdump.c, line 279 (as a function)
- arch/s390/mm/dump_pagetables.c, line 109 (as a function)
- arch/x86/mm/dump_pagetables.c, line 300 (as a function)
Referenced in 7 files:
- arch/arm/mm/dump.c
- arch/arm64/kvm/ptdump.c, line 88
- arch/arm64/mm/ptdump.c
- arch/powerpc/mm/ptdump/ptdump.c
- arch/riscv/mm/ptdump.c
- arch/s390/mm/dump_pagetables.c
- arch/x86/mm/dump_pagetables.c
Smatch caller information:
arch/x86/mm/dump_pagetables.c note_page_flush() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 0 | pt_st->range->end | 0,140737488355328,72057594037927936,u64max |
| PARAM_VALUE | 0 | pt_st->range->start | 0,4362862139015168,18374695275764645888,18379190079298994176,18446612132314218496 |
| PARAM_VALUE | 1 | addr | 0 |
| PARAM_VALUE | 2 | level | (-1) |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &m->lock |
arch/x86/mm/dump_pagetables.c note_page_p4d() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| HALF_LOCKED2 | &mm->mmap_lock |
arch/x86/mm/dump_pagetables.c note_page_pgd() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| HALF_LOCKED2 | &mm->mmap_lock |
arch/x86/mm/dump_pagetables.c note_page_pmd() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 3 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| HALF_LOCKED2 | &mm->mmap_lock |
arch/x86/mm/dump_pagetables.c note_page_pte() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 4 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| NOSPEC | 1 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| HALF_LOCKED2 | &mm->mmap_lock |
arch/x86/mm/dump_pagetables.c note_page_pud() -> note_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pt_st | 8168795432078680064 |
| PARAM_VALUE | 0 | pt_st->effective_prot_p4d | 459980264884240384 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pgd | 8925254040018481152 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pmd | 3971838137308598272 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pte | 3892351712710447104 |
| PARAM_VALUE | 0 | pt_st->effective_prot_pud | 3269130867797786624 |
| PARAM_VALUE | 0 | pt_st->note_page_flush | 6816798565705973760 |
| PARAM_VALUE | 0 | pt_st->note_page_p4d | 9036106757596209152 |
| PARAM_VALUE | 0 | pt_st->note_page_pgd | 4035570357576749056 |
| PARAM_VALUE | 0 | pt_st->note_page_pmd | 5528173851541884928 |
| PARAM_VALUE | 0 | pt_st->note_page_pte | 547961621943054336 |
| PARAM_VALUE | 0 | pt_st->note_page_pud | 7160850640873951232 |
| PARAM_VALUE | 0 | pt_st->range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 2 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| BUF_SIZE | 0 | pt_st | (-1),4,8,16,24,40,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | val | 1 |
| DATA_SOURCE | 0 | pt_st | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| HALF_LOCKED2 | &mm->mmap_lock |