| PARAM_VALUE |
0 |
so |
4096-ptr_max |
| PARAM_VALUE |
0 |
so->bound |
s32min-(-1),1-s32max |
| PARAM_VALUE |
0 |
so->rx_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
so->tx.buflen |
1-u32max |
| PARAM_VALUE |
0 |
so->tx.len |
1-u32max |
| PARAM_VALUE |
0 |
so->tx.sn |
1 |
| PARAM_VALUE |
0 |
so->tx.state |
1,4 |
| PARAM_VALUE |
0 |
so->tx_gen |
0-16777215 |
| PARAM_VALUE |
0 |
*so->tx_result |
0-4294967295 |
| PARAM_VALUE |
1 |
gen |
0-16777215 |
| BUF_SIZE |
0 |
so->tx.buf |
1-u32max,u64max |
| CAPPED_DATA |
0 |
so->echotimer.base |
1 |
| CAPPED_DATA |
0 |
so->ifindex |
1 |
| CAPPED_DATA |
0 |
so->tx.len |
1 |
| CAPPED_DATA |
0 |
so->txfrtimer.base |
1 |
| CAPPED_DATA |
0 |
so->txtimer.base |
1 |
| CAPPED_DATA |
0 |
&so->echotimer |
1 |
| CAPPED_DATA |
0 |
&so->txfrtimer |
1 |
| CAPPED_DATA |
0 |
&so->txtimer |
1 |
| CAPPED_DATA |
1 |
gen |
1 |
| PARAM_COMPARE |
0 |
&so->echotimer |
!= $0->echotimer.base->running |
| PARAM_COMPARE |
0 |
&so->txfrtimer |
!= $0->txfrtimer.base->running |
| PARAM_COMPARE |
0 |
&so->txtimer |
!= $0->txtimer.base->running |
| BIT_INFO |
0 |
so->tx.state |
0x0,0x5 |
| NOSPEC |
0 |
so->tx.len |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
so->tx.len |
1-s32max[c] |
| UNITS |
0 |
so |
unit_byte |
| HALF_LOCKED2 |
|
&vq->mutex |
|
| HALF_LOCKED2 |
|
sk |
|
