| PARAM_VALUE |
0 |
h |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->flags.__vma_flags |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->vm_end |
1073741824-u64max |
| PARAM_VALUE |
1 |
vma->vm_file |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
1 |
vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
1 |
vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled |
0-1 |
| PARAM_VALUE |
1 |
vma->vm_ops |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->vm_ops->pagesize |
1-u64max |
| PARAM_VALUE |
1 |
vma->vm_refcnt.refs.counter |
(-1073741824),0-s32max |
| PARAM_VALUE |
1 |
vma->vm_userfaultfd_ctx.ctx |
1-u64max |
| CAPPED_DATA |
1 |
vma |
1 |
| DATA_SOURCE |
0 |
h |
r hstate_vma |
| DATA_SOURCE |
1 |
vma |
$1 |
| DATA_SOURCE |
2 |
address |
$2 |
| NOSPEC |
2 |
address |
|
| NOSPEC |
2 |
address |
|
| USER_DATA |
1 |
vma->vm_policy->flags |
0,24,8192-57368[c] |
| USER_DATA |
1 |
vma->vm_policy->home_node |
0-1023 |
| USER_DATA |
2 |
address |
0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE |
2 |
address |
|
| UNITS |
2 |
address |
unit_byte |
| LOCK2 |
|
&state.ctx->map_changing_lock |
|
| HALF_LOCKED2 |
|
&ctx->map_changing_lock |
|
| TYPE_LOCK |
|
(struct userfaultfd_ctx)->map_changing_lock |
|
