| PARAM_VALUE |
0 |
map |
4096-ptr_max |
| PARAM_VALUE |
0 |
map->being_removed |
4096-ptr_max |
| PARAM_VALUE |
0 |
map->live_grants.counter |
s32min-(-1),1-s32max |
| PARAM_VALUE |
0 |
map->notifier.ops->invalidate |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
map->notifier.ops->invalidate_finish |
0,2193403108630056960 |
| PARAM_VALUE |
0 |
map->notifier.ops->invalidate_start |
0,7606346720449052672 |
| PARAM_VALUE |
2 |
pages |
1-s32max |
| BUF_SIZE |
0 |
map |
(-1),1-s32max |
| BUF_SIZE |
0 |
map |
(-1),1-s32max |
| DATA_SOURCE |
0 |
map |
$0 |
| DATA_SOURCE |
1 |
offset |
$1 [m] |
| NOSPEC |
0 |
map->count |
|
| NOSPEC |
0 |
map->notifier.interval_tree.start |
|
| NOSPEC |
0 |
map->pages_vm_start |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
map->count |
2-65536[c] |
| USER_DATA |
0 |
map->dma_flags |
s32min-s32max |
| USER_DATA |
0 |
map->grants->domid |
0-u32max |
| USER_DATA |
0 |
map->grants->ref |
0-u32max |
| USER_DATA |
0 |
map->notifier.interval_tree.__subtree_last |
0-u64max[c] |
| USER_DATA |
0 |
map->notifier.interval_tree.start |
0-u64max |
| USER_DATA |
0 |
map->pages_vm_start |
0-18446744073709547520 |
| USER_DATA |
1 |
offset |
0-s32max[c] |
| NO_OVERFLOW_SIMPLE |
0 |
map->count |
|
| UNITS |
0 |
map |
unit_byte |
| UNITS |
1 |
offset |
unit_page |
| UNITS |
2 |
pages |
unit_page |
| USER_PTR |
0 |
map->grants |
|
