| PARAM_VALUE |
0 |
entry |
1-u64max |
| PARAM_VALUE |
1 |
base |
1-u64max |
| PARAM_VALUE |
2 |
total |
1498527238627917824 |
| PARAM_VALUE |
2 |
*total |
0-s32max |
| PARAM_VALUE |
3 |
state |
7132376125569028096 |
| PARAM_VALUE |
3 |
state->buf_kern_len |
0,4-s32max |
| PARAM_VALUE |
3 |
state->buf_user_offset |
0,48-u32max |
| BUF_SIZE |
1 |
base |
0-s32max |
| BUF_SIZE |
1 |
base |
0-s32max |
| DATA_SOURCE |
1 |
base |
$0 |
| DATA_SOURCE |
3 |
state |
$2 |
| FUZZY_MAX |
3 |
state->buf_user_offset |
0 |
| NS_CAPABLE |
0 |
12 |
|
| PARAM_COMPARE |
0 |
entry |
>= $1 |
| PARAM_COMPARE |
0 |
entry |
>= $1 |
| PARAM_COMPARE |
1 |
base |
<= $0 |
| MEM_ZERO |
3 |
state |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
entry->bitmask |
0-u32max[u] |
| USER_DATA |
0 |
entry->ethproto |
0-u16max[u] |
| USER_DATA |
0 |
entry->invflags |
0-u32max[u] |
| USER_DATA |
0 |
entry->next_offset |
0-u32max[u] |
| USER_DATA |
0 |
entry->offsets.next_offset |
0-u32max[u] |
| USER_DATA |
0 |
entry->offsets.target_offset |
0-u32max[u] |
| USER_DATA |
0 |
entry->offsets.watchers_offset |
0-u32max[u] |
| USER_DATA |
0 |
entry->target_offset |
0-u32max[u] |
| USER_DATA |
0 |
entry->watchers_offset |
0-u32max[u] |
| USER_DATA |
1 |
*base |
0-255 |
| UNITS |
0 |
entry |
unit_byte |
| USER_PTR |
0 |
entry |
|
| USER_PTR |
1 |
base |
|
