Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/afs/dir_search.c afs_invalidate_dir() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
CAPPED_DATA 0 vnode->directory_size 1
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING

fs/afs/inode.c afs_invalidate_dir() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->status.type 2
PARAM_VALUE 0 vnode->volume 4096-ptr_max
DATA_SOURCE 0 vnode $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vnode->cb_lock.lock
TYPE_LOCK (struct seqlock)->lock

fs/afs/file.c afs_fetch_data_success() -> afs_v2net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/afs/write.c afs_store_data_success() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->wb_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem

fs/afs/write.c afs_store_data_success() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 0 vnode->wb_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem

fs/afs/dir.c afs_d_revalidate() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 vnode->validate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->validate_lock.first_waiter->type 0-1
DATA_SOURCE 0 vnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING

fs/afs/dir.c afs_dir_check_block() -> afs_v2net()

Type Parameter Key Value
BUF_SIZE 0 vnode s32min,(-1)-s32max
BUF_SIZE 0 vnode s32min,(-1)-s32max
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vnode->cb_break 0-u32max[u]
USER_DATA 0 vnode->cb_expires_at.counter s64min-s64max[u]
USER_DATA 0 vnode->cb_lock.seqcount.seqcount.sequence 0-u32max[u]
USER_DATA 0 vnode->cb_nr_mmap.counter s32min-s32max[u]
USER_DATA 0 vnode->cb_ro_snapshot 0-u32max[u]
USER_DATA 0 vnode->cb_scrub 0-u32max[u]
USER_DATA 0 vnode->cb_v_check 0-u32max[u]
USER_DATA 0 vnode->cb_work.data.counter s64min-s64max[u]
USER_DATA 0 vnode->directory_size 0-u32max[u]
USER_DATA 0 vnode->fid.unique 0-u32max[u]
USER_DATA 0 vnode->fid.vid 0-u64max[u]
USER_DATA 0 vnode->fid.vnode 0-u64max[u]
USER_DATA 0 vnode->fid.vnode_hi 0-u32max[u]
USER_DATA 0 vnode->flags 0-u64max[u]
USER_DATA 0 vnode->invalid_before 0-u64max[u]
USER_DATA 0 vnode->lock_state 0-255[u]
USER_DATA 0 vnode->lock_type 0-255[u]
USER_DATA 0 vnode->lock_work.cpu s32min-s32max[u]
USER_DATA 0 vnode->lock_work.timer.expires 0-u64max[u]
USER_DATA 0 vnode->lock_work.timer.flags 0-u32max[u]
USER_DATA 0 vnode->lock_work.work.data.counter s64min-s64max[u]
USER_DATA 0 vnode->locked_at s64min-s64max[u]
USER_DATA 0 vnode->netfs._remote_i_size s64min-s64max[u]
USER_DATA 0 vnode->netfs._zero_point s64min-s64max[u]
USER_DATA 0 vnode->netfs.flags 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.__i_nlink 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.dirtied_time_when 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.dirtied_when 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_atime_nsec 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_atime_sec s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_blkbits 0-255[u]
USER_DATA 0 vnode->netfs.inode.i_blocks 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_bytes 0-u16max[u]
USER_DATA 0 vnode->netfs.inode.i_count.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_ctime_nsec 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_ctime_sec s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.flags 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.gfp_mask 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.i_mmap_rwsem.count.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.i_mmap_rwsem.osq.tail.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.i_mmap_rwsem.owner.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.i_mmap_writable.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.i_pages.xa_flags 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.invalidate_lock.count.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.invalidate_lock.osq.tail.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.invalidate_lock.owner.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.nrpages 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_data.wb_err 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_data.writeback_index 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_dio_count.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_dir_seq 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_flags 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_fsnotify_mask 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_generation 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_gid.val 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_ino 0-u64max[u]
USER_DATA 0 vnode->netfs.inode.i_linklen s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_mode 0-u16max[u]
USER_DATA 0 vnode->netfs.inode.i_mtime_nsec 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_mtime_sec s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_nlink 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_opflags 0-u16max[u]
USER_DATA 0 vnode->netfs.inode.i_rdev 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_readcount.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_rwsem.count.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_rwsem.osq.tail.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_rwsem.owner.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_sequence.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_size s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_state.__state 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_uid.val 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_version.counter s64min-s64max[u]
USER_DATA 0 vnode->netfs.inode.i_wb_frn_avg_time 0-u16max[u]
USER_DATA 0 vnode->netfs.inode.i_wb_frn_history 0-u16max[u]
USER_DATA 0 vnode->netfs.inode.i_wb_frn_winner s32min-s32max[u]
USER_DATA 0 vnode->netfs.inode.i_write_hint 0-u32max[u]
USER_DATA 0 vnode->netfs.inode.i_writecount.counter s32min-s32max[u]
USER_DATA 0 vnode->netfs.io_count.counter s32min-s32max[u]
USER_DATA 0 vnode->rmdir_lock.count.counter s64min-s64max[u]
USER_DATA 0 vnode->rmdir_lock.osq.tail.counter s32min-s32max[u]
USER_DATA 0 vnode->rmdir_lock.owner.counter s64min-s64max[u]
USER_DATA 0 vnode->status.abort_code 0-u32max[u]
USER_DATA 0 vnode->status.anon_access 0-u32max[u]
USER_DATA 0 vnode->status.author s64min-s64max[u]
USER_DATA 0 vnode->status.caller_access 0-u32max[u]
USER_DATA 0 vnode->status.data_version 0-u64max[u]
USER_DATA 0 vnode->status.group s64min-s64max[u]
USER_DATA 0 vnode->status.lock_count s32min-s32max[u]
USER_DATA 0 vnode->status.mode 0-u16max[u]
USER_DATA 0 vnode->status.mtime_client.tv_nsec s64min-s64max[u]
USER_DATA 0 vnode->status.mtime_client.tv_sec s64min-s64max[u]
USER_DATA 0 vnode->status.mtime_server.tv_nsec s64min-s64max[u]
USER_DATA 0 vnode->status.mtime_server.tv_sec s64min-s64max[u]
USER_DATA 0 vnode->status.nlink 0-u32max[u]
USER_DATA 0 vnode->status.owner s64min-s64max[u]
USER_DATA 0 vnode->status.size 0-u64max[u]
USER_DATA 0 vnode->status.type 0-u32max[u]
USER_DATA 0 vnode->validate_lock.count.counter s64min-s64max[u]
USER_DATA 0 vnode->validate_lock.osq.tail.counter s32min-s32max[u]
USER_DATA 0 vnode->validate_lock.owner.counter s64min-s64max[u]
UNITS 0 vnode unit_byte
USER_PTR 0 vnode

fs/afs/dir.c afs_invalidate_dir() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING

fs/afs/dir.c afs_lookup() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 vnode->validate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vnode->validate_lock.first_waiter->type 0-1
DATA_SOURCE 0 vnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir->i_rwsem

fs/afs/dir_edit.c afs_edit_dir_add() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->validate_lock.first_waiter->type 0-1
CAPPED_DATA 0 vnode 1
CAPPED_DATA 0 vnode->status.data_version 1
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/afs/dir_edit.c afs_edit_dir_remove() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->directory_size 2048-u32max
PARAM_VALUE 0 vnode->validate_lock.first_waiter->type 0-1
CAPPED_DATA 0 vnode 1
CAPPED_DATA 0 vnode->status.data_version 1
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/afs/dir_edit.c afs_invalidate_dir() -> afs_v2net()

Type Parameter Key Value
PARAM_VALUE 0 vnode 4096-ptr_max
PARAM_VALUE 0 vnode->validate_lock.first_waiter->type 0-1
CAPPED_DATA 0 vnode 1
DATA_SOURCE 0 vnode $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &vnode->validate_lock