Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/netfs/buffered_read.c netfs_read_to_pagecache() -> netfs_queue_read()
| 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 | 0,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->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->gfp | 3136,3264 |
| PARAM_VALUE | 0 | rreq->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2712 |
| 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->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_ops | 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->origin | 0-2,4 |
| PARAM_VALUE | 0 | rreq->proc_link.next | 7430039255567077376 |
| PARAM_VALUE | 0 | rreq->proc_link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->proc_link.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->rsize | 0,262144 |
| PARAM_VALUE | 0 | rreq->waitq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->ref.refs.counter | 2 |
| PARAM_VALUE | 1 | subreq->rreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 1 | subreq->rreq->netfs_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | rreq->gfp | 1 |
| CAPPED_DATA | 1 | subreq->rreq->gfp | 1 |
| DATA_SOURCE | 0 | rreq | $0 |
| DATA_SOURCE | 1 | subreq | r netfs_alloc_subrequest |
| BIT_INFO | 0 | rreq->gfp | 0xc40,0xffffffffffffffff |
| BIT_INFO | 1 | subreq->len | 0x0,0x7fffffffffffffff |
| NOSPEC | 1 | subreq->rreq->buffer.iter.count | |
| HARD_MAX | 0 | rreq->origin | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rreq->inode->i_blocks | 0-5859375[c] |
| 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 |
| USER_DATA | 1 | subreq->len | 0-17592186040320 |
| USER_DATA | 1 | subreq->rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 1 | subreq->rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 1 | subreq->rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 1 | subreq->rreq->len | 0-17592186040320 |
| USER_DATA | 1 | subreq->rreq->start | 0-18446744073709551614 |
| USER_DATA | 1 | subreq->rreq->submitted | 0-18446744073709551614 |
| USER_DATA | 1 | subreq->start | 0-18446744073709551614 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/netfs/direct_read.c netfs_dispatch_unbuffered_reads() -> netfs_queue_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->buffer.iter.iter_type | 2-255 |
| 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 | 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->len | 1-1000000000 |
| PARAM_VALUE | 0 | rreq->netfs_ops | 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->origin | 5-6 |
| PARAM_VALUE | 0 | rreq->proc_link.next | 7430039255567077376 |
| PARAM_VALUE | 0 | rreq->proc_link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->proc_link.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->rsize | 0,262144 |
| PARAM_VALUE | 0 | rreq->waitq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->len | 1-9223372036854775807 |
| PARAM_VALUE | 1 | subreq->ref.refs.counter | 2 |
| PARAM_VALUE | 1 | subreq->rreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 1 | subreq->rreq->netfs_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->source | 2 |
| CAPPED_DATA | 0 | rreq->gfp | 1 |
| CAPPED_DATA | 0 | rreq->len | 1 |
| CAPPED_DATA | 1 | subreq->rreq->gfp | 1 |
| DATA_SOURCE | 0 | rreq | $0 |
| DATA_SOURCE | 1 | subreq | r netfs_alloc_subrequest |
| FUZZY_MAX | 0 | rreq->origin | 6 |
| BIT_INFO | 0 | rreq->origin | 0x4,0xffffffffffffffff |
| NOSPEC | 0 | rreq->buffer.iter.count | |
| NOSPEC | 0 | rreq->iocb->ki_pos | |
| NOSPEC | 0 | rreq->len | |
| NOSPEC | 0 | rreq->start | |
| NOSPEC | 1 | subreq->len | |
| NOSPEC | 1 | subreq->rreq->buffer.iter.count | |
| NOSPEC | 1 | subreq->start | |
| HARD_MAX | 0 | rreq->origin | 6 |
| 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-11442450941 |
| USER_DATA | 0 | rreq->len | 1-1000000000[c] |
| USER_DATA | 0 | rreq->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 0 | rreq->start | 0-18446744073709551614 |
| USER_DATA | 1 | subreq->len | 1-1000000000 |
| USER_DATA | 1 | subreq->rreq->buffer.iter.count | 1-1000000000 |
| USER_DATA | 1 | subreq->rreq->buffer.iter.iov_offset | 0-u64max[c] |
| USER_DATA | 1 | subreq->rreq->direct_bv_count | 1-488284[c][u] |
| USER_DATA | 1 | subreq->rreq->len | 0-17592186040320 |
| USER_DATA | 1 | subreq->rreq->start | 0-18446744073709551614 |
| USER_DATA | 1 | subreq->rreq->submitted | 0-18446744073709551614 |
| USER_DATA | 1 | subreq->start | 0-18446744073709551614 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->i_size | |
| HALF_LOCKED2 | &cinode->lock_sem | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/netfs/read_single.c netfs_single_dispatch_read() -> netfs_queue_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rreq | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.cache_priv2 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->cache_resources.ops | 0,2376435944423092224 |
| 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->gfp | 3136,3264 |
| PARAM_VALUE | 0 | rreq->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2712 |
| 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->len | 0-1000000000 |
| PARAM_VALUE | 0 | rreq->netfs_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->netfs_ops->init_request | 3383743687444791296,3750821255738515456,3756291697984016384,4205842496184066048,7569165433126817792 |
| PARAM_VALUE | 0 | rreq->netfs_ops->request_pool | 0,84460413493075968 |
| PARAM_VALUE | 0 | rreq->netfs_priv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rreq->origin | 3 |
| PARAM_VALUE | 0 | rreq->proc_link.next | 7430039255567077376 |
| PARAM_VALUE | 0 | rreq->proc_link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->proc_link.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->rsize | 0,262144 |
| PARAM_VALUE | 0 | rreq->start | 0 |
| PARAM_VALUE | 0 | rreq->waitq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rreq->waitq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->len | 0-1000000000 |
| PARAM_VALUE | 1 | subreq->ref.refs.counter | 2 |
| PARAM_VALUE | 1 | subreq->rreq | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq->buffer.next_head_slot | 0-30 |
| PARAM_VALUE | 1 | subreq->rreq->netfs_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->rreq_link.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | subreq->source | 0 |
| PARAM_VALUE | 1 | subreq->start | 0 |
| CAPPED_DATA | 0 | rreq->gfp | 1 |
| CAPPED_DATA | 1 | subreq->rreq->gfp | 1 |
| DATA_SOURCE | 0 | rreq | $0 |
| DATA_SOURCE | 1 | subreq | r netfs_alloc_subrequest |
| BIT_INFO | 0 | rreq->gfp | 0xc40,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | rreq->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | rreq->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->direct_bv_count | |
| NO_OVERFLOW_SIMPLE | 1 | subreq->rreq->i_size | |
| HALF_LOCKED2 | &dvnode->validate_lock | ||
| HALF_LOCKED2 | &vnode->validate_lock | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |