Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/ufs/dir.c ufs_add_link() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 6129301123910615040 |
| PARAM_VALUE | 2 | fmt | 7127530871451246592 |
| BUF_SIZE | 1 | function | 13 |
| BUF_SIZE | 2 | fmt | 28 |
| STR_LEN | 0 | sb | 27 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/dir.c ufs_check_folio() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1145952654551543808 |
| PARAM_VALUE | 2 | fmt | 5756022831745085440 |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 2 | fmt | 56 |
| STR_LEN | 0 | sb | 55 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/dir.c ufs_check_folio() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1145952654551543808 |
| PARAM_VALUE | 2 | fmt | 4940370670676045824 |
| PARAM_VALUE | 4 | $ | 1581940989392592896,3102413131449536512,3671001512624472064,7065451849553600512,8873610018316279808 |
| PARAM_VALUE | 6 | $ | 0-u16max |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 2 | fmt | 72 |
| BUF_SIZE | 4 | $ | 20,26,30,32,34 |
| BUF_SIZE | 4 | $ | 20,26,30,32,34 |
| CAPPED_DATA | 6 | $ | 1 |
| STR_LEN | 0 | sb | 71 |
| STR_LEN | 1 | function | 19,25,29,31,33 |
| STR_LEN | 4 | $ | 19,25,29,31,33 |
| BIT_INFO | 4 | $ | 0x40000000000,0x7fffffffdffff000 |
| BIT_INFO | 4 | $ | 0x40000000000,0x7fffffffdffff000 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 4 | $ | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/dir.c ufs_check_folio() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1145952654551543808 |
| PARAM_VALUE | 2 | fmt | 1255427759232102400 |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 2 | fmt | 60 |
| STR_LEN | 0 | sb | 59 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/dir.c ufs_delete_entry() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | function | 1037802286497374208 |
| PARAM_VALUE | 2 | fmt | 7127530871451246592 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 2 | fmt | 28 |
| STR_LEN | 0 | sb | 27 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &target->i_rwsem |
fs/ufs/dir.c ufs_empty_dir() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 5650000051379970048 |
| PARAM_VALUE | 2 | fmt | 9200504365182537728 |
| PARAM_VALUE | 3 | $ | 4096-u64max |
| PARAM_VALUE | 4 | $ | 4096-ptr_max |
| PARAM_VALUE | 4 | $->d_reclen | 0 |
| BUF_SIZE | 1 | function | 14 |
| BUF_SIZE | 2 | fmt | 46 |
| CAPPED_DATA | 4 | $ | 1 |
| STR_LEN | 0 | sb | 45 |
| PARAM_COMPARE | 3 | $ | >= $4 |
| PARAM_COMPARE | 4 | $ | <= $3 |
| PARAM_COMPARE | 4 | $ | <= $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 4096-ptr_max[c] |
| UNITS | 0 | sb | unit_byte |
fs/ufs/dir.c ufs_readdir() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1221596701607608320 |
| PARAM_VALUE | 2 | fmt | 7878655476774236160 |
| BUF_SIZE | 1 | function | 12 |
| BUF_SIZE | 2 | fmt | 18 |
| STR_LEN | 0 | sb | 17 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ufs/balloc.c ufs_bitmap_search() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3159609828192710656 |
| PARAM_VALUE | 2 | fmt | 6093967986613854208 |
| PARAM_VALUE | 4 | $ | 0-536870911 |
| PARAM_VALUE | 5 | $ | 1-536870912 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 2 | fmt | 70 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 6 | $ | $3 |
| STR_LEN | 0 | sb | 17 |
| STR_LEN | 1 | function | 69 |
| PARAM_COMPARE | 4 | $ | < $5 |
| PARAM_COMPARE | 5 | $ | > $4 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 6 | $ | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 6 | $ | unit_byte |
fs/ufs/balloc.c ufs_bitmap_search() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3159609828192710656 |
| PARAM_VALUE | 2 | fmt | 5246151036678164480 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 2 | fmt | 27 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 17 |
| STR_LEN | 1 | function | 26 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/balloc.c ufs_change_blocknr() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | sb->s_export_op->get_parent | 0,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi->s_ncg | 0-4294967295 |
| PARAM_VALUE | 0 | sb->s_fs_info->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | function | 8112362925391339520 |
| PARAM_VALUE | 2 | fmt | 2402602057871101952 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 2 | fmt | 26 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_uspi->s_ncg | 1 |
| STR_LEN | 0 | sb | 25 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 0-u64max |
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_page |
fs/ufs/balloc.c ufs_change_blocknr() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | sb->s_export_op->get_parent | 0,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi->s_ncg | 0-4294967295 |
| PARAM_VALUE | 0 | sb->s_fs_info->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | function | 8112362925391339520 |
| PARAM_VALUE | 2 | fmt | 4885029664436248576 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 2 | fmt | 22 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_uspi->s_ncg | 1 |
| STR_LEN | 0 | sb | 21 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/balloc.c ufs_free_blocks() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 2915198154225946624 |
| PARAM_VALUE | 2 | fmt | 2583485152319229952 |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 2 | fmt | 41 |
| DATA_SOURCE | 3 | $ | $1 |
| DATA_SOURCE | 4 | $ | $2 |
| STR_LEN | 0 | sb | 15 |
| STR_LEN | 1 | function | 40 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &ufsi->truncate_mutex |
fs/ufs/balloc.c ufs_free_blocks() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 2915198154225946624 |
| PARAM_VALUE | 2 | fmt | 79477111876759552 |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 2 | fmt | 22 |
| STR_LEN | 0 | sb | 15 |
| STR_LEN | 1 | function | 21 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &ufsi->truncate_mutex |
fs/ufs/balloc.c ufs_free_fragments() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7768469914987855872 |
| PARAM_VALUE | 2 | fmt | 6753629733076353024 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 2 | fmt | 15 |
| STR_LEN | 0 | sb | 18 |
| STR_LEN | 1 | function | 14 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &ufsi->truncate_mutex |
fs/ufs/balloc.c ufs_free_fragments() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi->s_ncg | 1-4294967295 |
| PARAM_VALUE | 1 | function | 7768469914987855872 |
| PARAM_VALUE | 2 | fmt | 6810027149327286272 |
| PARAM_VALUE | 3 | $ | 0-4294967294 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 2 | fmt | 36 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_uspi->s_ncg | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | sb | 18 |
| STR_LEN | 1 | function | 35 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_byte |
| HALF_LOCKED2 | &ufsi->truncate_mutex |
fs/ufs/balloc.c ufs_new_fragments() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 8232656818521038848 |
| PARAM_VALUE | 2 | fmt | 3301090658066743296 |
| PARAM_VALUE | 4 | $ | 0 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 2 | fmt | 41 |
| DATA_SOURCE | 3 | $ | $2 |
| DATA_SOURCE | 4 | $ | r ufs_data_ptr_to_cpu |
| STR_LEN | 0 | sb | 17 |
| STR_LEN | 1 | function | 40 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 0-4294963198[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_byte |
fs/ufs/cylinder.c ufs_read_cylinder() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 2531733438781194240 |
| PARAM_VALUE | 2 | fmt | 3942600503347019776 |
| PARAM_VALUE | 3 | $ | 0-4294967294 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 2 | fmt | 35 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 3 | $ | $1 |
| STR_LEN | 0 | sb | 17 |
| STR_LEN | 1 | function | 34 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_array_size |
| HALF_LOCKED2 | &sbi->s_lock |
fs/ufs/ialloc.c ufs_free_inode() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi->s_ncg | 1-4294967295 |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 443492150356209664 |
| PARAM_VALUE | 2 | fmt | 3939758858237587456 |
| PARAM_VALUE | 3 | $ | 2-4294967294 |
| BUF_SIZE | 1 | function | 15 |
| BUF_SIZE | 2 | fmt | 33 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_uspi->s_ncg | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | sb | 14 |
| STR_LEN | 1 | function | 32 |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ufs/ialloc.c ufs_new_inode() -> ufs_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info->s_uspi->s_ncg | 1-4294967295 |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 885038660018511872 |
| PARAM_VALUE | 2 | fmt | 2307236972769886208 |
| PARAM_VALUE | 3 | $ | 0-4294967294 |
| BUF_SIZE | 1 | function | 14 |
| BUF_SIZE | 2 | fmt | 53 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_uspi->s_ncg | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | sb | 13 |
| STR_LEN | 1 | function | 52 |
| PARAM_COMPARE | 3 | $ | < $0->s_fs_info->s_uspi->s_ncg |
| TERMINATED | 1 | function | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 3 | $ | unit_array_size |
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct ufs_sb_info)->s_lock |