| PARAM_VALUE |
1 |
so |
4096-ptr_max |
| PARAM_VALUE |
1 |
so->tx.idx |
0 |
| PARAM_VALUE |
1 |
so->tx.len |
1-u32max |
| PARAM_VALUE |
2 |
ae |
0-1 |
| BUF_SIZE |
0 |
cf |
1-s32max |
| BUF_SIZE |
0 |
cf |
1-s32max |
| BUF_SIZE |
1 |
so->tx.buf |
1-u32max,u64max |
| CAPPED_DATA |
1 |
so->echotimer.base |
1 |
| CAPPED_DATA |
1 |
so->ifindex |
1 |
| CAPPED_DATA |
1 |
so->tx.len |
1 |
| CAPPED_DATA |
1 |
so->txfrtimer.base |
1 |
| CAPPED_DATA |
1 |
so->txtimer.base |
1 |
| CAPPED_DATA |
1 |
&so->echotimer |
1 |
| CAPPED_DATA |
1 |
&so->txfrtimer |
1 |
| CAPPED_DATA |
1 |
&so->txtimer |
1 |
| FUZZY_MAX |
2 |
ae |
1 |
| PARAM_COMPARE |
1 |
&so->echotimer |
!= $1->echotimer.base->running |
| PARAM_COMPARE |
1 |
&so->txfrtimer |
!= $1->txfrtimer.base->running |
| PARAM_COMPARE |
1 |
&so->txtimer |
!= $1->txtimer.base->running |
| HARD_MAX |
2 |
ae |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
cf->__res0 |
0-255[u] |
| USER_DATA |
0 |
cf->__res1 |
0-255[u] |
| USER_DATA |
0 |
cf->can_id |
0-u32max[u] |
| USER_DATA |
0 |
cf->flags |
0-255[u] |
| USER_DATA |
0 |
cf->len |
0-255[u] |
| USER_DATA |
1 |
so->tx.len |
1-s32max[c] |
| UNITS |
0 |
cf |
unit_byte |
| UNITS |
1 |
so |
unit_byte |
| UNITS |
2 |
ae |
unit_byte |
| USER_PTR |
0 |
cf |
|
| HALF_LOCKED2 |
|
&vq->mutex |
|
| HALF_LOCKED2 |
|
sk |
|
