| PARAM_VALUE |
0 |
skb |
4096-ptr_max |
| PARAM_VALUE |
0 |
skb->headers.inner_protocol |
0-255 |
| PARAM_VALUE |
0 |
skb->len |
0-4294967294 |
| PARAM_VALUE |
0 |
skb->sk->ns_tracker->alloc_stack_handle |
0-4294967295 |
| PARAM_VALUE |
0 |
skb->sk->ns_tracker->dead |
0-1 |
| PARAM_VALUE |
0 |
skb->sk->ns_tracker->free_stack_handle |
0-4294967295 |
| BUF_SIZE |
0 |
skb |
(-1)-s32max |
| BUF_SIZE |
0 |
skb |
(-1)-s32max |
| BUF_SIZE |
1 |
fcb |
1-s32max |
| BUF_SIZE |
1 |
fcb |
1-s32max |
| DATA_SOURCE |
0 |
skb |
$1 |
| RX_PATH |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
fcb->flags |
0-u16max[u] |
| USER_DATA |
1 |
fcb->pro |
0-255[u] |
| USER_DATA |
1 |
fcb->reserved |
0-u16max[u] |
| USER_DATA |
1 |
fcb->rq |
0-255[u] |
| USER_DATA |
1 |
fcb->vlctl |
0-u16max[u] |
| UNITS |
1 |
fcb |
unit_byte |
| USER_PTR |
1 |
fcb |
|
