Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/bfs/file.c bfs_get_block() -> BFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/bfs/inode.c bfs_evict_inode() -> BFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/bfs/inode.c bfs_iget() -> BFS_SB()

Type Parameter Key Value
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
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 &info->bfs_lock

fs/bfs/inode.c bfs_put_super() -> BFS_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/bfs/inode.c bfs_statfs() -> BFS_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/bfs/inode.c bfs_write_inode() -> BFS_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
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/bfs/inode.c find_inode() -> BFS_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

fs/bfs/dir.c bfs_create() -> BFS_SB()

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

fs/bfs/dir.c bfs_link() -> BFS_SB()

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

fs/bfs/dir.c bfs_lookup() -> BFS_SB()

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

fs/bfs/dir.c bfs_rename() -> BFS_SB()

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

fs/bfs/dir.c bfs_unlink() -> BFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem