Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/afs/inode.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
NOSPEC 1 new_size
NOSPEC 1 new_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new_size (-9223372036854775807)-(-4096),0-s64max
UNITS 1 new_size unit_byte
HALF_LOCKED2 &vnode->validate_lock

fs/9p/vfs_inode_dotl.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
NOSPEC 1 new_size
NOSPEC 1 new_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new_size (-9223372036854775807)-(-4096),0-s64max
UNITS 1 new_size unit_byte
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock

fs/ceph/inode.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ci->i_truncate_mutex
TYPE_LOCK (struct ceph_inode_info)->i_truncate_mutex

fs/smb/client/smb2ops.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new_size 1-s64max[c]
LOCK2 &inode->i_mapping->invalidate_lock
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/9p/vfs_inode.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
NOSPEC 1 new_size
NOSPEC 1 new_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new_size (-9223372036854775807)-(-4096),0-s64max
UNITS 1 new_size unit_byte
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/smb/client/inode.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
NOSPEC 1 new_size
NOSPEC 1 new_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new_size (-9223372036854775807)-(-4096),0-s64max
UNITS 1 new_size unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/smb/client/cifsfs.c fscache_resize_cookie() -> __fscache_resize_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
DATA_SOURCE 0 cookie $0
DATA_SOURCE 1 new_size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 new_size unit_byte