| PARAM_VALUE |
0 |
sk |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb |
1-u64max |
| PARAM_VALUE |
3 |
len |
s32min-(-1),1-s32max |
| CAPPED_DATA |
0 |
sk |
1 |
| DATA_SOURCE |
0 |
sk |
$0 |
| FUZZY_MAX |
3 |
len |
1 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_backlog.len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->end |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->next->end |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->next->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->next->tail |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->next->truesize |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->tail |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_receive_queue.prev->truesize |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->end |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->prev->end |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->prev->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->prev->tail |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->prev->truesize |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->tail |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.next->truesize |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->data_len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->next->data_len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->next->len |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->next->truesize |
|
| NO_OVERFLOW_SIMPLE |
0 |
sk->sk_write_queue.prev->truesize |
|
| UNITS |
0 |
sk |
unit_byte |
| UNITS |
2 |
offset |
unit_byte |
| UNITS |
3 |
len |
unit_byte |
| HALF_LOCKED2 |
0 |
sk |
|
| HALF_LOCKED2 |
0 |
&sk->sk_lock.slock |
|
