Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/netfs/write_collect.c netfs_collect_write_results() -> netfs_wake_rreq_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rreq->io_streams | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_ops->init_request | 3383743687444791296,3750821255738515456,3756291697984016384,4205842496184066048,7569165433126817792 |
| PARAM_VALUE | 0 | rreq->netfs_ops->prepare_read | 0,5068172870075490304,8936990259359035392 |
| PARAM_VALUE | 0 | rreq->netfs_ops->request_pool | 0,84460413493075968 |
| PARAM_VALUE | 1 | rreq_flag | 2 |
| PARAM_VALUE | 2 | trace | 18 |
| DATA_SOURCE | 0 | rreq | $0 |
| NOSPEC | 0 | rreq->buffer.iter.count | |
| NOSPEC | 0 | rreq->direct_bv_count | |
| NOSPEC | 0 | rreq->iocb->ki_pos | |
| NOSPEC | 0 | rreq->len | |
| NOSPEC | 0 | rreq->start | |
| NOSPEC | 0 | rreq->submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 0 | rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | rreq->iocb->ki_pos | 0-9294967294 |
| USER_DATA | 0 | rreq->len | 0-17592186040320 |
| USER_DATA | 0 | rreq->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 0 | rreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | rreq->submitted | 0-18446744073709551614 |
| NO_OVERFLOW_SIMPLE | 0 | rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size |
fs/netfs/write_collect.c netfs_write_collection() -> netfs_wake_rreq_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->buffer.tail | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->collected_to | 1-18446744073709551614 |
| PARAM_VALUE | 0 | rreq->copy_to_cache->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->group | 0,854,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rreq->io_streams | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rreq->netfs_ops->init_request | 3383743687444791296,3750821255738515456,3756291697984016384,4205842496184066048,7569165433126817792 |
| PARAM_VALUE | 0 | rreq->netfs_ops->prepare_read | 0,5068172870075490304,8936990259359035392 |
| PARAM_VALUE | 0 | rreq->netfs_ops->request_pool | 0,84460413493075968 |
| PARAM_VALUE | 0 | rreq->nr_group_rel | 0 |
| PARAM_VALUE | 1 | rreq_flag | 0 |
| PARAM_VALUE | 2 | trace | 25 |
| DATA_SOURCE | 0 | rreq | $0 |
| NOSPEC | 0 | rreq->buffer.iter.count | |
| NOSPEC | 0 | rreq->direct_bv_count | |
| NOSPEC | 0 | rreq->iocb->ki_pos | |
| NOSPEC | 0 | rreq->len | |
| NOSPEC | 0 | rreq->start | |
| NOSPEC | 0 | rreq->submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 0 | rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | rreq->iocb->ki_pos | 0-11294967294 |
| USER_DATA | 0 | rreq->len | 0-17592186040320 |
| USER_DATA | 0 | rreq->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 0 | rreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | rreq->submitted | 0-18446744073709551614 |
| NO_OVERFLOW_SIMPLE | 0 | rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size |
fs/netfs/read_collect.c netfs_collect_read_results() -> netfs_wake_rreq_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rreq->io_streams | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_ops->init_request | 3383743687444791296,3750821255738515456,3756291697984016384,4205842496184066048,7569165433126817792 |
| PARAM_VALUE | 0 | rreq->netfs_ops->prepare_read | 0,5068172870075490304,8936990259359035392 |
| PARAM_VALUE | 0 | rreq->netfs_ops->request_pool | 0,84460413493075968 |
| PARAM_VALUE | 1 | rreq_flag | 2 |
| PARAM_VALUE | 2 | trace | 18 |
| DATA_SOURCE | 0 | rreq | $0 |
| NOSPEC | 0 | rreq->buffer.iter.count | |
| NOSPEC | 0 | rreq->direct_bv_count | |
| NOSPEC | 0 | rreq->iocb->ki_pos | |
| NOSPEC | 0 | rreq->len | |
| NOSPEC | 0 | rreq->start | |
| NOSPEC | 0 | rreq->submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 0 | rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | rreq->iocb->ki_pos | 0-9294967294 |
| USER_DATA | 0 | rreq->len | 0-17592186040320 |
| USER_DATA | 0 | rreq->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 0 | rreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | rreq->submitted | 0-18446744073709551614 |
| NO_OVERFLOW_SIMPLE | 0 | rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size |
fs/netfs/read_collect.c netfs_read_collection() -> netfs_wake_rreq_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->buffer.tail | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.tail->next | 0 |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->copy_to_cache->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->error | s16min-s16max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rreq->io_streams | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rreq->netfs_ops->done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_ops->init_request | 3383743687444791296,3750821255738515456,3756291697984016384,4205842496184066048,7569165433126817792 |
| PARAM_VALUE | 0 | rreq->netfs_ops->prepare_read | 0,5068172870075490304,8936990259359035392 |
| PARAM_VALUE | 0 | rreq->netfs_ops->request_pool | 0,84460413493075968 |
| PARAM_VALUE | 0 | rreq->netfs_priv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_priv->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rreq->netfs_priv2 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_priv2->key->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rreq->netfs_priv2->key->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rreq_flag | 0 |
| PARAM_VALUE | 2 | trace | 25 |
| DATA_SOURCE | 0 | rreq | $0 |
| NOSPEC | 0 | rreq->buffer.iter.count | |
| NOSPEC | 0 | rreq->direct_bv_count | |
| NOSPEC | 0 | rreq->iocb->ki_pos | |
| NOSPEC | 0 | rreq->len | |
| NOSPEC | 0 | rreq->start | |
| NOSPEC | 0 | rreq->submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 0 | rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | rreq->iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | rreq->iocb->ki_pos | 0-11294967294 |
| USER_DATA | 0 | rreq->len | 0-17592186040320 |
| USER_DATA | 0 | rreq->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 0 | rreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | rreq->submitted | 0-18446744073709551614 |
| NO_OVERFLOW_SIMPLE | 0 | rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size |
fs/netfs/direct_write.c netfs_unbuffered_write_done() -> netfs_wake_rreq_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->end_operation | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->issue_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->prepare_write_subreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->query_occupancy | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->io_streams | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | rreq->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | rreq->netfs_ops->retry_request | 0,8472728073334329344 |
| PARAM_VALUE | 1 | rreq_flag | 0 |
| PARAM_VALUE | 2 | trace | 25 |
| BUF_SIZE | 0 | rreq | (-1)-s32max |
| BUF_SIZE | 0 | rreq | (-1)-s32max |
| DATA_SOURCE | 0 | rreq | $0 |
| NOSPEC | 0 | rreq->buffer.iter.iov_offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 0 | rreq->error | (-4095)-(-1) |
| USER_DATA | 0 | rreq->len | 0-1000000000 |
| NO_OVERFLOW_SIMPLE | 0 | rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |