Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ufs/inode.c free_full_branch() -> _ubh_bread_()

Type Parameter Key Value
PARAM_VALUE 0 uspi 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 fragment 1-u64max
DATA_SOURCE 2 fragment $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize
UNITS 1 sb unit_byte
HALF_LOCKED2 &ufsi->truncate_mutex

fs/ufs/inode.c ufs_truncate_blocks() -> _ubh_bread_()

Type Parameter Key Value
PARAM_VALUE 0 uspi 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_fs_info->s_bytesex 0-4294967295
PARAM_VALUE 1 sb->s_fs_info->s_cg_loaded 0-u16max
PARAM_VALUE 1 sb->s_fs_info->s_flags 0-4294967295
PARAM_VALUE 1 sb->s_fs_info->s_flavour 0-4294967295
PARAM_VALUE 1 sb->s_fs_info->s_on_err 0-4294967295
PARAM_VALUE 1 sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 2 fragment 1-u64max
DATA_SOURCE 2 fragment r ufs_data_ptr_to_cpu
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte
LOCK2 &ufsi->truncate_mutex
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct ufs_inode_info)->truncate_mutex