| PARAM_VALUE |
0 |
map |
5695852749483675648 |
| PARAM_VALUE |
0 |
map->addr |
0-18446744073709547520 |
| PARAM_VALUE |
0 |
map->anon_pgoff |
0-4503599627370495 |
| PARAM_VALUE |
0 |
map->file |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
map->mt_detach.ma_flags |
0,256-768 |
| PARAM_VALUE |
0 |
map->pglen |
1-4503599627370495 |
| PARAM_VALUE |
0 |
map->pgoff |
0-4503599627370495 |
| PARAM_VALUE |
0 |
map->vm_flags |
0 |
| PARAM_VALUE |
0 |
map->vm_ops |
0,6756087424609792000 |
| PARAM_VALUE |
0 |
map->vmi |
7342498018941853696 |
| PARAM_VALUE |
0 |
map->vms.next |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
map->vms.prev |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
map->vms.uf |
0 |
| PARAM_VALUE |
0 |
map->vms.unlock |
0 |
| PARAM_VALUE |
0 |
map->vms.vma |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
map->vms.vma_count |
0-s32max |
| PARAM_VALUE |
0 |
map->vms.vmi |
0 |
| PARAM_VALUE |
1 |
vma |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->vm_refcnt.refs.counter |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vmlock_dep_map.cpu |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vmlock_dep_map.lock_type |
0-255 |
| PARAM_VALUE |
1 |
vma->vmlock_dep_map.wait_type_outer |
0-255 |
| NOSPEC |
0 |
map->addr |
|
| NOSPEC |
0 |
map->pgoff |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
map->addr |
0-18446744073709547520[c] |
| USER_DATA |
0 |
map->anon_pgoff |
0-4503599627370495[c] |
| USER_DATA |
0 |
map->pglen |
1-4503599627370495[c] |
| USER_DATA |
0 |
map->pgoff |
0-4503599627370495[c] |
| NO_OVERFLOW_SIMPLE |
0 |
map->pgoff |
|
| HALF_LOCKED2 |
|
&ctx->ring_lock |
|
| HALF_LOCKED2 |
|
&mm->mmap_lock |
|
