| PARAM_VALUE |
0 |
vma |
4096-ptr_max |
| PARAM_VALUE |
0 |
vma->flags.__vma_flags |
4096-ptr_max |
| PARAM_VALUE |
0 |
vma->vm_end |
1-u64max |
| PARAM_VALUE |
0 |
vma->vm_mm->mmap_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vma->vm_mm->mmap_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
1 |
fw |
126403539620216832 |
| PARAM_VALUE |
1 |
fw->level |
0-2 |
| PARAM_VALUE |
1 |
fw->page |
4096-ptr_max |
| PARAM_VALUE |
1 |
fw->pmdp |
4096-ptr_max |
| PARAM_VALUE |
1 |
fw->ptep |
4096-ptr_max |
| PARAM_VALUE |
1 |
fw->ptl |
4096-ptr_max |
| PARAM_VALUE |
1 |
fw->pudp |
4096-ptr_max |
| PARAM_VALUE |
2 |
folio |
4096-ptr_max |
| PARAM_VALUE |
2 |
folio->mapping |
1-u64max |
| PARAM_VALUE |
5 |
nbytes |
1,4,9 |
| BUF_SIZE |
0 |
vma |
(-1),1-s32max |
| BUF_SIZE |
0 |
vma |
(-1),1-s32max |
| BUF_SIZE |
4 |
insn |
(-1),9-10,15-16 |
| BUF_SIZE |
4 |
insn |
(-1),9-10,15-16 |
| CAPPED_DATA |
0 |
vma->vm_end |
1 |
| CAPPED_DATA |
0 |
vma->vm_start |
1 |
| DATA_SOURCE |
0 |
vma |
$1 |
| DATA_SOURCE |
2 |
folio |
r _compound_head |
| DATA_SOURCE |
3 |
insn_vaddr |
$2 |
| DATA_SOURCE |
4 |
insn |
$3 |
| DATA_SOURCE |
5 |
nbytes |
$4 |
| DATA_SOURCE |
6 |
is_register |
$6 |
| PARAM_COMPARE |
0 |
vma->vm_end |
> $0->vm_start |
| NOSPEC |
0 |
vma->vm_pgoff |
|
| NOSPEC |
0 |
vma->vm_start |
|
| HARD_MAX |
5 |
nbytes |
9 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
vma->shared.rb_subtree_last |
0-u64max[u] |
| USER_DATA |
0 |
vma->vm_pgoff |
0-4503599627370495[c] |
| USER_DATA |
0 |
vma->vm_start |
0-s32max,9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE |
0 |
vma->vm_end |
|
| NO_OVERFLOW_SIMPLE |
0 |
vma->vm_file->f_mapping->host->i_bytes |
|
| NO_OVERFLOW_SIMPLE |
0 |
vma->vm_pgoff |
|
| UNITS |
2 |
folio |
unit_page |
| UNITS |
3 |
insn_vaddr |
unit_byte |
| HALF_LOCKED2 |
|
&mm->mmap_lock |
|
| HALF_LOCKED2 |
|
&uprobe->register_rwsem |
|
