| PARAM_VALUE |
0 |
con |
4096-ptr_max |
| DATA_SOURCE |
0 |
con |
$0 |
| DATA_SOURCE |
1 |
aborted |
$2 |
| NOSPEC |
0 |
con->v2.out_cursor.lastlen |
|
| NOSPEC |
0 |
con->v2.out_cursor.resid |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
con->v2.out_cursor.bio_iter.iter.bi_size |
1-s32max[c] |
| USER_DATA |
0 |
con->v2.out_cursor.bvec_iter.bi_size |
1-s32max[c] |
| USER_DATA |
0 |
con->v2.out_cursor.iov_iter.count |
0-u64max |
| USER_DATA |
0 |
con->v2.out_cursor.iov_iter.iov_offset |
0-u64max[c] |
| USER_DATA |
0 |
con->v2.out_cursor.lastlen |
1-4096[c] |
| USER_DATA |
0 |
con->v2.out_cursor.need_crc |
0-1 |
| USER_DATA |
0 |
con->v2.out_cursor.page_offset |
0-2559[c] |
| USER_DATA |
0 |
con->v2.out_cursor.resid |
0-u64max |
| USER_DATA |
0 |
con->v2.out_iter.count |
0-7442450943,18446744071562067969-u64max |
| HALF_LOCKED2 |
0 |
&con->mutex |
|
