| PARAM_VALUE |
0 |
vmg |
4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->copied_from |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->end |
1-u64max |
| PARAM_VALUE |
0 |
vmg->middle |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->middle->vm_mm |
4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->next |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->prev |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->start |
1-u64max |
| PARAM_VALUE |
0 |
vmg->state |
0,2 |
| PARAM_VALUE |
0 |
vmg->target |
4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->target->vm_mm |
4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->vmi |
4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->vmi->mas.mas_flags |
1,3-255 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.node |
0 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.node_request |
0-1 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.sheaf |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vmg->vmi->mas.sheaf->capacity |
s32min-4294967295 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.sheaf->pfmemalloc |
0-1 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.sheaf->size |
s32min-4294967295 |
| PARAM_VALUE |
0 |
vmg->vmi->mas.status |
0,2,7-u32max |
| PARAM_VALUE |
0 |
vmg->vmi->mas.store_type |
1-9 |
| BUF_SIZE |
0 |
vmg->policy |
(-1),1-s32max |
| BUF_SIZE |
0 |
vmg->vmi |
(-1),88 |
| CAPPED_DATA |
0 |
vmg->anon_name |
1 |
| CAPPED_DATA |
0 |
vmg->file |
1 |
| CAPPED_DATA |
0 |
vmg->policy |
1 |
| DATA_SOURCE |
0 |
vmg |
$0 |
| NOSPEC |
0 |
vmg->end |
|
| NOSPEC |
0 |
vmg->start |
|
| NOSPEC |
0 |
vmg->vmi->mas.index |
|
| HARD_MAX |
0 |
vmg->state |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
vmg->__remove_middle |
0-1 |
| USER_DATA |
0 |
vmg->__remove_next |
0-1 |
| USER_DATA |
0 |
vmg->end |
1-u64max |
| USER_DATA |
0 |
vmg->pgoff |
0-524287[c] |
| USER_DATA |
0 |
vmg->start |
1-s32max[c] |
| USER_DATA |
0 |
vmg->vmi->mas.index |
0-u64max |
| USER_DATA |
0 |
vmg->vmi->mas.last |
0-u64max |
| NO_OVERFLOW_SIMPLE |
0 |
vmg->vmi->mas.sheaf->capacity |
|
| HALF_LOCKED2 |
|
&mm->mmap_lock |
|
