Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/adfs/inode.c __adfs_block_map() -> ADFS_SB()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/adfs/inode.c adfs_atts2mode() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info (-1),1-s32max
BUF_SIZE 0 sb->s_op (-1),224
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
UNITS 0 sb unit_byte

fs/adfs/inode.c adfs_iget() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info (-1),1-s32max
BUF_SIZE 0 sb->s_op (-1),224
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 1024-2147487743[c]
UNITS 0 sb unit_byte

fs/adfs/inode.c adfs_iget() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info (-1),1-s32max
BUF_SIZE 0 sb->s_op (-1),224
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 1024-2147487743[c]
UNITS 0 sb unit_byte

fs/adfs/inode.c adfs_mode2atts() -> ADFS_SB()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb 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/adfs/inode.c adfs_setattr() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb 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/adfs/inode.c adfs_setattr() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb 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/adfs/super.c adfs_init_fs_context() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/adfs/super.c adfs_probe() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 1-s32max
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_blocksize 1
CAPPED_DATA 0 sb->s_dev 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/adfs/super.c adfs_put_super() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),4416
BUF_SIZE 0 sb->s_mtd (-1),64
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
BIT_INFO 0 sb->s_flags 0x0,0xffffffffbfffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
USER_PTR 0 sb->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/adfs/super.c adfs_reconfigure() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/adfs/super.c adfs_show_options() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 global &namespace_sem

fs/adfs/super.c adfs_statfs() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &s->s_umount

fs/adfs/map.c adfs_checkmap() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 1-s32max
CAPPED_DATA 0 sb->s_blocksize 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/adfs/map.c adfs_checkmap() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 1-s32max
CAPPED_DATA 0 sb->s_blocksize 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/adfs/map.c adfs_free_map() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),1-s32max
BUF_SIZE 0 sb->s_op (-1),216,224
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
HALF_LOCKED2 0 &sb->s_umount

fs/adfs/map.c adfs_map_lookup() -> ADFS_SB()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 global &adfs_dir_rwsem

fs/adfs/map.c adfs_map_statfs() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &s->s_umount

fs/adfs/map.c adfs_read_map() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 1-s32max
CAPPED_DATA 0 sb->s_blocksize 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/adfs/dir.c __adfs_block_map() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
LOCK2 global &adfs_dir_rwsem

fs/adfs/dir.c adfs_dir_lookup_byname() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/adfs/dir.c adfs_dir_read() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 global &adfs_dir_rwsem

fs/adfs/dir.c adfs_dir_update() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/adfs/dir.c adfs_hash() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/adfs/dir.c adfs_iterate() -> ADFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/adfs/dir.c adfs_object_fixup() -> ADFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 global &adfs_dir_rwsem
HALF_LOCKED2 &inode->i_rwsem