| PARAM_VALUE |
0 |
rb |
4096-ptr_max |
| PARAM_VALUE |
0 |
rb->aux_nr_pages |
0 |
| PARAM_VALUE |
0 |
rb->mmap_count.refs.counter |
(-1073741824),0-s32max |
| PARAM_VALUE |
0 |
rb->user_page->aux_offset |
4096-18446744073709547520 |
| PARAM_VALUE |
0 |
rb->user_page->aux_size |
0-8796093018112 |
| PARAM_VALUE |
1 |
event |
4096-ptr_max |
| PARAM_VALUE |
1 |
event->rb |
4096-ptr_max |
| PARAM_VALUE |
1 |
event->rb->aux_nr_pages |
0 |
| PARAM_VALUE |
1 |
event->rb->mmap_count.refs.counter |
(-1073741824),0-s32max |
| PARAM_VALUE |
1 |
event->state |
(-3)-s32max |
| PARAM_VALUE |
2 |
pgoff |
1-u64max |
| PARAM_VALUE |
3 |
nr_pages |
0-s32max |
| PARAM_VALUE |
5 |
flags |
0-1 |
| BUF_SIZE |
1 |
event |
(-1),1216 |
| BUF_SIZE |
1 |
event |
(-1),1216 |
| CAPPED_DATA |
2 |
pgoff |
1 |
| CAPPED_DATA |
2 |
pgoff |
1 |
| CAPPED_DATA |
3 |
nr_pages |
1 |
| DATA_SOURCE |
1 |
event |
$1 |
| DATA_SOURCE |
3 |
nr_pages |
$2 |
| FUZZY_MAX |
1 |
event->state |
(-3) |
| FUZZY_MAX |
5 |
flags |
0 |
| NOSPEC |
2 |
pgoff |
|
| NOSPEC |
2 |
pgoff |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
2 |
pgoff |
1-4503599627370495[c] |
| NO_OVERFLOW_SIMPLE |
2 |
pgoff |
|
| UNITS |
2 |
pgoff |
unit_page |
| UNITS |
3 |
nr_pages |
unit_page |
| LOCK2 |
|
_T->lock |
|
| HALF_LOCKED2 |
|
&ipcp->lock |
|