Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 prefix 268552538102743040
PARAM_VALUE 1 s 4096-ptr_max
BUF_SIZE 0 prefix 12
STR_LEN 0 prefix 11
TERMINATED 0 prefix 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 s unit_byte
LOCK2 &info->bfs_lock
TYPE_LOCK (struct bfs_sb_info)->bfs_lock

fs/bfs/inode.c bfs_fill_super() -> bfs_dump_imap()

Type Parameter Key Value
PARAM_VALUE 0 prefix 5192130383792992256
PARAM_VALUE 1 s 4096-ptr_max
BUF_SIZE 0 prefix 11
BUF_SIZE 1 s (-1),2880
BUF_SIZE 1 s (-1),2880
BUF_SIZE 1 s->s_fs_info 264
BUF_SIZE 1 s->s_op 224
CAPPED_DATA 1 s 1
CAPPED_DATA 1 s->s_dev 1
DATA_SOURCE 1 s $0
STR_LEN 0 prefix 10
STR_LEN 1 s (-1),8
STR_LEN 1 s (-1),8
TERMINATED 0 prefix 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 s->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 1 s->s_bdev_file->f_mode 0,64-u32max
USER_DATA 1 s->s_flags 0-2147486719[c]
NO_OVERFLOW_SIMPLE 1 s->s_root->d_inode->i_size
HALF_LOCKED2 &fc->uapi_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 prefix 204062083093504000
PARAM_VALUE 1 s 4096-ptr_max
BUF_SIZE 0 prefix 7
STR_LEN 0 prefix 6
TERMINATED 0 prefix 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 s unit_byte
LOCK2 &info->bfs_lock
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct bfs_sb_info)->bfs_lock