Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/inode.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 6948446071424012288
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 40
BUF_SIZE 1 aux_data 40
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
NOSPEC 2 new_size
NOSPEC 2 new_size
MEM_ZERO 1 aux_data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 new_size (-9223372036854775807)-(-4),0-s64max

fs/afs/file.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 6567082448966189056
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 8
BUF_SIZE 1 aux_data 8
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/cache.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 4096-ptr_max
PARAM_VALUE 3 flags 0-1
BUF_SIZE 1 aux_data 8
BUF_SIZE 1 aux_data 8
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
FUZZY_MAX 3 flags 1
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
HARD_MAX 3 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/fscache.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->state 1
PARAM_VALUE 0 cookie->volume->cache->n_volumes.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache->ref.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->cancellations_mtx.magic 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_fsdata 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_hash.pprev 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_data.nr_thps.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->id 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->rcu.flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->rcu.is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->rcu.is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->rcu.is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->rcu.is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->work.is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_security->next 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.timer.is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.timer.is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.timer.is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->head.first 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->lease_shared_gen 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->resv->lock.base.magic 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->waiters 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_hash.pprev 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_inode 0
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->waiters 0
PARAM_VALUE 0 cookie->volume->cache_priv->vcookie->cache_priv 0
PARAM_VALUE 0 cookie->volume->proc_link.next->next 4096-ptr_max
PARAM_VALUE 0 cookie->volume->proc_link.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->volume->proc_link.prev->next 4096-ptr_max
PARAM_VALUE 0 cookie->volume->proc_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 *cookie->volume->cache_priv->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cookie->volume->cache_priv->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 aux_data 5566441565786386432
PARAM_VALUE 3 flags 1
BUF_SIZE 1 aux_data 40
BUF_SIZE 1 aux_data 40
CAPPED_DATA 0 cookie 1
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 new_size

fs/nfs/direct.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 5746156604289277952
PARAM_VALUE 3 flags 1
BUF_SIZE 1 aux_data 40
BUF_SIZE 1 aux_data 40
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/validation.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 432218900559699968
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 8
BUF_SIZE 1 aux_data 8
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->validate_lock
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/smb/client/dir.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 7046415896289185792
PARAM_VALUE 3 flags 1
BUF_SIZE 1 aux_data 24
BUF_SIZE 1 aux_data 24
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/file.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 3383606243809792000
PARAM_VALUE 3 flags 0-1
BUF_SIZE 1 aux_data 24
BUF_SIZE 1 aux_data 24
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
HARD_MAX 3 flags 1
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 new_size
HALF_LOCKED2 &cfile->fh_mutex

fs/nfs/write.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 7427028584490242048
PARAM_VALUE 2 new_size (-9223372036854775807)-s64max
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 40
BUF_SIZE 1 aux_data 40
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/inode.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 1437571114446254080
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 24
BUF_SIZE 1 aux_data 24
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
MEM_ZERO 1 aux_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 new_size

fs/afs/dir.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 8572452898062655488
PARAM_VALUE 3 flags 0
BUF_SIZE 1 aux_data 8
BUF_SIZE 1 aux_data 8
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/netfs/direct_write.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 0
PARAM_VALUE 3 flags 1
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
BIT_INFO 2 new_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/smb/client/cifsfs.c fscache_invalidate() -> __fscache_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 aux_data 0
PARAM_VALUE 3 flags 0
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 aux_data $1
DATA_SOURCE 2 new_size $2
DATA_SOURCE 3 flags $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL