Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ufs/balloc.c ufs_add_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte

fs/ufs/balloc.c ufs_add_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
CAPPED_DATA 2 d 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte

fs/ufs/balloc.c ufs_add_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
CAPPED_DATA 2 d 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte

fs/ufs/balloc.c ufs_alloc_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
CAPPED_DATA 2 d 1
DATA_SOURCE 2 d $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 d 1-s32max[c]
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte

fs/ufs/balloc.c ufs_alloc_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
CAPPED_DATA 2 d 1
DATA_SOURCE 2 d $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 d 1-s32max[c]
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte

fs/ufs/balloc.c ufs_alloc_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 1 *n 1-u32max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte

fs/ufs/balloc.c ufs_clusteracct() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 1 *n 0-255
PARAM_VALUE 2 d (-1),1
DATA_SOURCE 0 sbp $0
DATA_SOURCE 2 d $3
FUZZY_MAX 2 d 1
HARD_MAX 2 d 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sbp->s_blocksize
UNITS 0 sbp unit_byte
UNITS 1 n unit_byte

fs/ufs/balloc.c ufs_clusteracct() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 1 *n 0-255
PARAM_VALUE 2 d (-1),1
DATA_SOURCE 0 sbp $0
DATA_SOURCE 2 d $3
FUZZY_MAX 2 d 1
HARD_MAX 2 d 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sbp->s_blocksize
UNITS 0 sbp unit_byte
UNITS 1 n unit_byte

fs/ufs/balloc.c ufs_free_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1-2,4,8
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *n 0-u32max[u]
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte
USER_PTR 1 n
HALF_LOCKED2 &ufsi->truncate_mutex

fs/ufs/balloc.c ufs_free_fragments() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1-2,4,8
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte
UNITS 2 d unit_byte
HALF_LOCKED2 &ufsi->truncate_mutex

fs/ufs/ialloc.c ufs_free_inode() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 0 sbp->s_op 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte

fs/ufs/ialloc.c ufs_free_inode() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 0 sbp->s_op 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte

fs/ufs/ialloc.c ufs_new_inode() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 0 sbp->s_op 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte
LOCK2 &sbi->s_lock
TYPE_LOCK (struct ufs_sb_info)->s_lock

fs/ufs/ialloc.c ufs_new_inode() -> fs32_sub()

Type Parameter Key Value
PARAM_VALUE 0 sbp 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi 4096-ptr_max
PARAM_VALUE 0 sbp->s_fs_info->s_uspi->s_ncg 1-4294967295
PARAM_VALUE 0 sbp->s_op 4096-ptr_max
PARAM_VALUE 1 n 4096-ptr_max
PARAM_VALUE 2 d 1
CAPPED_DATA 0 sbp->s_fs_info->s_uspi->s_ncg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbp unit_byte
LOCK2 &sbi->s_lock
TYPE_LOCK (struct ufs_sb_info)->s_lock