| PARAM_VALUE |
0 |
wreq |
4096-ptr_max |
| PARAM_VALUE |
0 |
wreq->io_streams |
4096-ptr_max |
| PARAM_VALUE |
0 |
wreq->netfs_ops->retry_request |
0,8472728073334329344 |
| PARAM_VALUE |
1 |
stream |
4096-ptr_max |
| PARAM_VALUE |
1 |
stream->active |
1 |
| PARAM_VALUE |
1 |
stream->failed |
1 |
| PARAM_VALUE |
1 |
stream->sreq_max_len |
0-u32max |
| PARAM_VALUE |
1 |
stream->sreq_max_segs |
s32max |
| PARAM_VALUE |
1 |
stream->stream_nr |
0-1 |
| PARAM_VALUE |
2 |
subreq |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->buffer.next_head_slot |
0-30 |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->end_operation |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->issue_write |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->prepare_read |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->prepare_write |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->prepare_write_subreq |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->query_occupancy |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->read |
4096-ptr_max |
| PARAM_VALUE |
2 |
subreq->rreq->cache_resources.ops->write |
4096-ptr_max |
| BUF_SIZE |
0 |
wreq |
(-1),1-s32max |
| BUF_SIZE |
0 |
wreq |
(-1),1-s32max |
| BUF_SIZE |
1 |
stream |
192 |
| BUF_SIZE |
1 |
stream |
192 |
| CAPPED_DATA |
1 |
stream->submit_extendable_to |
1 |
| DATA_SOURCE |
0 |
wreq |
$0 |
| FUZZY_MAX |
1 |
stream->sreq_max_len |
u32max |
| NOSPEC |
1 |
stream->construct->io_iter.iov_offset |
|
| NOSPEC |
2 |
subreq->io_iter.iov_offset |
|
| RX_PATH |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
wreq->buffer.iter.iov_offset |
0-u64max[c] |
| USER_DATA |
0 |
wreq->direct_bv_count |
1-488284[c][u] |
| USER_DATA |
0 |
wreq->len |
0-1000000000 |
| USER_DATA |
1 |
stream->construct->io_iter.iov_offset |
0-u64max[c] |
| USER_DATA |
1 |
stream->submit_extendable_to |
0-u32max[c] |
| USER_DATA |
2 |
subreq->error |
(-4095)-(-1) |
| USER_DATA |
2 |
subreq->io_iter.count |
0-u64max |
| USER_DATA |
2 |
subreq->io_iter.iov_offset |
0-u64max[c] |
| USER_DATA |
2 |
subreq->len |
0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE |
0 |
wreq->direct_bv_count |
|
| NO_OVERFLOW_SIMPLE |
0 |
wreq->i_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
wreq->inode->i_bytes |
|
| NO_OVERFLOW_SIMPLE |
0 |
wreq->inode->i_size |
|
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| HALF_LOCKED2 |
|
&pool->lock |
|