Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/adfs/dir_fplus.c adfs_fplus_read() -> adfs_dir_relse()

Type Parameter Key Value
PARAM_VALUE 0 dir 4522660643920302080,6121468358185279488,7151307469090717696
PARAM_VALUE 0 dir->bhs 4096-ptr_max
PARAM_VALUE 0 dir->bighead 4096-ptr_max
PARAM_VALUE 0 dir->sb 4096-ptr_max
BUF_SIZE 0 dir->sb (-1),80,2752
DATA_SOURCE 0 dir $3
STR_LEN 0 dir->sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dir->sb->s_flags 0-2147552256[c]
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize_bits
LOCK2 global &adfs_dir_rwsem
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 dir 6121468358185279488
PARAM_VALUE 0 dir->bhs 0,4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->sb 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/adfs/dir.c adfs_dir_read_buffers() -> adfs_dir_relse()

Type Parameter Key Value
PARAM_VALUE 0 dir 4522660643920302080,6121468358185279488,7151307469090717696
PARAM_VALUE 0 dir->sb 4096-ptr_max
BUF_SIZE 0 dir->bhs 32,40-34359738360,u64max
DATA_SOURCE 0 dir $3
STR_LEN 0 dir->sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dir->sb->s_flags 0-310477010[c]
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize_bits
LOCK2 global &adfs_dir_rwsem
HALF_LOCKED2 &inode->i_rwsem

fs/adfs/dir.c adfs_dir_read_inode() -> adfs_dir_relse()

Type Parameter Key Value
PARAM_VALUE 0 dir 4522660643920302080,6121468358185279488
PARAM_VALUE 0 dir->bhs 0,4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->sb 0,4096-ptr_max
DATA_SOURCE 0 dir $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &adfs_dir_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 dir 7151307469090717696
PARAM_VALUE 0 dir->bhs 4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->nr_buffers s32min-(-1),1-s32max
PARAM_VALUE 0 dir->sb 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 dir 7151307469090717696
PARAM_VALUE 0 dir->bhs 0,4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->sb 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &adfs_dir_rwsem
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 dir 4522660643920302080
PARAM_VALUE 0 dir->bhs 0,4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->sb 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/adfs/dir_f.c adfs_f_read() -> adfs_dir_relse()

Type Parameter Key Value
PARAM_VALUE 0 dir 4522660643920302080,6121468358185279488,7151307469090717696
PARAM_VALUE 0 dir->bh 4096-ptr_max
PARAM_VALUE 0 dir->bhs 4096-ptr_max
PARAM_VALUE 0 dir->bighead 4096-ptr_max
PARAM_VALUE 0 dir->bigtail 4096-ptr_max
PARAM_VALUE 0 dir->dirhead 4096-ptr_max
PARAM_VALUE 0 dir->newtail 4096-ptr_max
PARAM_VALUE 0 dir->sb 4096-ptr_max
BUF_SIZE 0 dir->sb (-1),80,2752
CAPPED_DATA 0 dir->bhs 1
DATA_SOURCE 0 dir $3
STR_LEN 0 dir->sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dir->sb->s_flags 0-2147552256[c]
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 dir->sb->s_blocksize_bits
LOCK2 global &adfs_dir_rwsem
HALF_LOCKED2 &inode->i_rwsem