Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ext4/extents.c ext4_remove_blocks() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 1863663183798648832 |
| PARAM_VALUE | 2 | line | 2500 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5834507762149998592 |
| PARAM_VALUE | 10 | $ | 0-32768 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 6 | fmt | 45 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| CAPPED_DATA | 9 | $ | 1 |
| DATA_SOURCE | 7 | $ | $4 |
| DATA_SOURCE | 8 | $ | $5 |
| DATA_SOURCE | 10 | $ | r ext4_ext_get_actual_len |
| STR_LEN | 0 | sb | 44 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 7 | $ | 0-s32max[c] |
| USER_DATA | 10 | $ | 1-32768[c] |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| UNITS | 9 | $ | unit_byte |
| UNITS | 10 | $ | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/sysfs.c trigger_test_error() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 8188484551306035200 |
| PARAM_VALUE | 2 | line | 130 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1029349938509148160 |
| PARAM_VALUE | 7 | $ | 1-1000000000 |
| PARAM_VALUE | 8 | $ | 4096-ptr_max |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 6 | fmt | 5 |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 4 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
fs/ext4/inode.c __ext4_get_inode_loc() -> __ext4_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 | 1292488334604914688 |
| PARAM_VALUE | 2 | line | 4915 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1750870678314696704 |
| PARAM_VALUE | 7 | $ | 0-u32max |
| PARAM_VALUE | 8 | $ | 1-4294967294 |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 1 | function | 21 |
| BUF_SIZE | 6 | fmt | 49 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r ext4_inode_table |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 48 |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 8 | $ | 1-2147483646[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/inode.c ext4_evict_inode() -> __ext4_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_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3423811206491267072 |
| PARAM_VALUE | 2 | line | 278 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | (-2147483647)-(-1),1-s32max |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7634139501221752832 |
| PARAM_VALUE | 7 | $ | 2-u32max |
| PARAM_VALUE | 8 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 38 |
| CAPPED_DATA | 0 | sb | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 8 | $ | r ext4_truncate |
| STR_LEN | 0 | sb | 37 |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/inode.c ext4_get_inode_loc_noio() -> __ext4_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 | 2659598462521876480 |
| PARAM_VALUE | 2 | line | 5091 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1750870678314696704 |
| PARAM_VALUE | 7 | $ | 0-u32max |
| PARAM_VALUE | 8 | $ | 1-4294967294 |
| BUF_SIZE | 1 | function | 24 |
| BUF_SIZE | 6 | fmt | 49 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 7 | $ | r ext4_inode_table |
| STR_LEN | 0 | sb | 48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| LOCK2 | &journal->j_barrier | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct journal_s)->j_barrier |
fs/ext4/inode.c mpage_map_and_submit_extent() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 830112439958102016 |
| PARAM_VALUE | 2 | line | 2539 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 5,12,22,30,117 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6696614850023874560 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 32 |
| CAPPED_DATA | 0 | sb | 1 |
| STR_LEN | 0 | sb | 31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ialloc.c __ext4_new_inode() -> __ext4_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_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 5751082633025036288 |
| PARAM_VALUE | 2 | line | 1082 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6700086375239548928 |
| PARAM_VALUE | 7 | $ | 1-4294967296 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 41 |
| STR_LEN | 0 | sb | 40 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ialloc.c ext4_free_inode() -> __ext4_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 | 1244239886709059584 |
| PARAM_VALUE | 2 | line | 284 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 9102788278448877568 |
| PARAM_VALUE | 7 | $ | 2-u32max |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 6 | fmt | 34 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| STR_LEN | 0 | sb | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ialloc.c ext4_free_inode() -> __ext4_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 | 1244239886709059584 |
| PARAM_VALUE | 2 | line | 356 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 3501772365548265472 |
| PARAM_VALUE | 7 | $ | 2-u32max |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 6 | fmt | 34 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| STR_LEN | 0 | sb | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ialloc.c ext4_init_inode_table() -> __ext4_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 | 3833680821997101056 |
| PARAM_VALUE | 2 | line | 1565 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1734927546702544896 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | s32min-(-1),1-s32max |
| PARAM_VALUE | 9 | $ | 0-u16max |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 82 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 81 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| LOCK2 | &elr->lr_super->s_umount | ||
| LOCK2 | &grp->alloc_sem | ||
| TYPE_LOCK | (struct ext4_group_info)->alloc_sem | ||
| TYPE_LOCK | (struct super_block)->s_umount |
fs/ext4/ialloc.c ext4_init_inode_table() -> __ext4_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 | 3833680821997101056 |
| PARAM_VALUE | 2 | line | 1581 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6726629898389278720 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | 0-u16max |
| PARAM_VALUE | 9 | $ | 0-18446744073709551614 |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 90 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 9 | $ | 1 |
| CAPPED_DATA | 9 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 89 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 9 | $ | unit_byte |
| LOCK2 | &elr->lr_super->s_umount | ||
| LOCK2 | &grp->alloc_sem | ||
| TYPE_LOCK | (struct ext4_group_info)->alloc_sem | ||
| TYPE_LOCK | (struct super_block)->s_umount |
fs/ext4/ialloc.c ext4_orphan_get() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4906660330665345024 |
| PARAM_VALUE | 2 | line | 1406 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-4095 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7301005983874785280 |
| PARAM_VALUE | 7 | $ | 1-u32max |
| PARAM_VALUE | 8 | $ | (-4095)-(-1) |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 6 | fmt | 40 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 39 |
| NOCHECK_CALL | |||
| UNITS | 7 | $ | unit_byte |
fs/ext4/ialloc.c ext4_orphan_get() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4906660330665345024 |
| PARAM_VALUE | 2 | line | 1429 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1559223076699348992 |
| PARAM_VALUE | 7 | $ | 1-u32max |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 6 | fmt | 21 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 20 |
| NOCHECK_CALL | |||
| UNITS | 7 | $ | unit_byte |
fs/ext4/ialloc.c ext4_read_inode_bitmap() -> __ext4_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 | 8283675595546042368 |
| PARAM_VALUE | 2 | line | 140 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6132813720710049792 |
| PARAM_VALUE | 7 | $ | 0-u32max |
| PARAM_VALUE | 8 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 23 |
| BUF_SIZE | 6 | fmt | 48 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r ext4_inode_bitmap |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 47 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/ialloc.c ext4_read_inode_bitmap() -> __ext4_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_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 8283675595546042368 |
| PARAM_VALUE | 2 | line | 168 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5830253783323185152 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 23 |
| BUF_SIZE | 6 | fmt | 43 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 42 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ialloc.c ext4_read_inode_bitmap() -> __ext4_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_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 8283675595546042368 |
| PARAM_VALUE | 2 | line | 203 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 5 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2192956189861867520 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | 1-u32max |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 23 |
| BUF_SIZE | 6 | fmt | 65 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| DATA_SOURCE | 8 | $ | r ext4_inode_bitmap |
| STR_LEN | 0 | sb | 64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/ialloc.c ext4_validate_inode_bitmap() -> __ext4_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_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7749577811852988416 |
| PARAM_VALUE | 2 | line | 106 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1881680329453658112 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | 0-u32max |
| BUF_SIZE | 0 | sb | (-1),80,2816 |
| BUF_SIZE | 0 | sb | (-1),80,2816 |
| BUF_SIZE | 1 | function | 27 |
| BUF_SIZE | 6 | fmt | 61 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | r ext4_inode_bitmap |
| STR_LEN | 0 | sb | 60 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/mmp.c kmmpd() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 6729233806377611264 |
| PARAM_VALUE | 2 | line | 180 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 5 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7646537999545614336 |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 1 | function | 6 |
| BUF_SIZE | 6 | fmt | 27 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 26 |
| NOCHECK_CALL |
fs/ext4/mmp.c kmmpd() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 6729233806377611264 |
| PARAM_VALUE | 2 | line | 203 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 5,12,74,117 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 3793714129518616576 |
| PARAM_VALUE | 7 | $ | (-117),(-74),(-12),(-5) |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 1 | function | 6 |
| BUF_SIZE | 6 | fmt | 27 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r read_mmp_block |
| STR_LEN | 0 | sb | 26 |
| BIT_INFO | 7 | $ | 0x0,0x0 |
| NOCHECK_CALL |
fs/ext4/mmp.c kmmpd() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 6729233806377611264 |
| PARAM_VALUE | 2 | line | 217 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 16 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 256987119736864768 |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 0 | sb | 128 |
| BUF_SIZE | 1 | function | 6 |
| BUF_SIZE | 6 | fmt | 6 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 5 |
| NOCHECK_CALL |
fs/ext4/xattr.c ext4_xattr_inode_iget() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 8867443020268171264 |
| PARAM_VALUE | 2 | line | 432 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1439337120004354048 |
| PARAM_VALUE | 7 | $ | 1-u32max |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 42 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 41 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/xattr.c ext4_xattr_inode_iget() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 8867443020268171264 |
| PARAM_VALUE | 2 | line | 440 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5034283227339698176 |
| PARAM_VALUE | 7 | $ | 1-u32max |
| PARAM_VALUE | 8 | $ | (-4095)-(-1) |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 40 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 39 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/xattr.c ext4_xattr_inode_iget() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | function | 8867443020268171264 |
| PARAM_VALUE | 2 | line | 470 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8340307622818349056 |
| PARAM_VALUE | 7 | $ | 1-u32max |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 54 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 53 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/orphan.c ext4_init_orphan_info() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4838654550638764032 |
| PARAM_VALUE | 2 | line | 619 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4003709751054835712 |
| PARAM_VALUE | 7 | $ | 0-s32max |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 32 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 31 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 7 | $ | |
| UNITS | 7 | $ | unit_array_size |
fs/ext4/orphan.c ext4_init_orphan_info() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4838654550638764032 |
| PARAM_VALUE | 2 | line | 625 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8318796851597307904 |
| PARAM_VALUE | 7 | $ | 0-s32max |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 35 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 34 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 7 | $ | |
| UNITS | 7 | $ | unit_array_size |
fs/ext4/mballoc.c ext4_discard_preallocations() -> __ext4_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 | 3474022479892922368 |
| PARAM_VALUE | 2 | line | 5689 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-4095 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1787973121009221632 |
| PARAM_VALUE | 7 | $ | (-4095)-(-1) |
| BUF_SIZE | 0 | sb | (-1),2880 |
| BUF_SIZE | 0 | sb | (-1),2880 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 42 |
| DATA_SOURCE | 7 | $ | r ext4_mb_load_buddy_gfp |
| DATA_SOURCE | 8 | $ | r ext4_get_group_number |
| STR_LEN | 0 | sb | 41 |
| BIT_INFO | 7 | $ | 0x0,0x0 |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 8 | $ | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/mballoc.c ext4_discard_preallocations() -> __ext4_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 | 3474022479892922368 |
| PARAM_VALUE | 2 | line | 5697 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-4095 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6089784343167471616 |
| PARAM_VALUE | 7 | $ | (-4095)-(-1) |
| PARAM_VALUE | 8 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | (-1),2880 |
| BUF_SIZE | 0 | sb | (-1),2880 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 37 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 8 | $ | r ext4_get_group_number |
| STR_LEN | 0 | sb | 36 |
| NOSPEC | 8 | $ | |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 8 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/mballoc.c ext4_free_blocks() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4488742182397349888 |
| PARAM_VALUE | 2 | line | 6718 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5119298770306994176 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 59 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 7 | $ | $3 [m] |
| DATA_SOURCE | 8 | $ | $4 |
| STR_LEN | 0 | sb | 58 |
| NOSPEC | 8 | $ | |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 8 | $ | 2-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 7 | $ | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/mballoc.c ext4_group_add_blocks() -> __ext4_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 | 8752206260984307712 |
| PARAM_VALUE | 2 | line | 6830 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8463485044629827584 |
| PARAM_VALUE | 8 | $ | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 58 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $1 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | $3 |
| STR_LEN | 0 | sb | 57 |
| NOCHECK_CALL | |||
| USER_DATA | 8 | $ | 2-s32max[c] |
| NO_OVERFLOW_SIMPLE | 7 | $ | |
| NO_OVERFLOW_SIMPLE | 8 | $ | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/mballoc.c ext4_group_add_blocks() -> __ext4_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 | 8752206260984307712 |
| PARAM_VALUE | 2 | line | 6844 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7469865214463950848 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| BUF_SIZE | 1 | function | 22 |
| BUF_SIZE | 6 | fmt | 32 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $1 |
| STR_LEN | 0 | sb | 31 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/mballoc.c ext4_mb_clear_bb() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 130454137684705280 |
| PARAM_VALUE | 2 | line | 6551 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2241736376531275776 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 58 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | $3 |
| STR_LEN | 0 | sb | 57 |
| NOSPEC | 8 | $ | |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-281479271710718,18446744069414584321-u64max[c] |
| USER_DATA | 8 | $ | 1-6442450942[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/mballoc.c ext4_mb_clear_bb() -> __ext4_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 | 130454137684705280 |
| PARAM_VALUE | 2 | line | 6588 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2241736376531275776 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 58 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | $3 [m] |
| STR_LEN | 0 | sb | 57 |
| NOSPEC | 7 | $ | |
| NOSPEC | 8 | $ | |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-281485714161660,18446744069414584321-u64max[c] |
| USER_DATA | 8 | $ | 0-6442450942,18446744069414584322-u64max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/mballoc.c ext4_mb_discard_group_preallocations() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3128232347980128256 |
| PARAM_VALUE | 2 | line | 5521 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-4095 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6089784343167471616 |
| PARAM_VALUE | 7 | $ | (-4095)-(-1) |
| PARAM_VALUE | 8 | $ | 0-4294967294 |
| BUF_SIZE | 1 | function | 37 |
| BUF_SIZE | 6 | fmt | 37 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 36 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/mballoc.c ext4_mb_discard_lg_preallocations() -> __ext4_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 | 6601332954684022784 |
| PARAM_VALUE | 2 | line | 5995 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-4095 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1787973121009221632 |
| PARAM_VALUE | 7 | $ | (-4095)-(-1) |
| BUF_SIZE | 1 | function | 34 |
| BUF_SIZE | 6 | fmt | 42 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r ext4_mb_load_buddy_gfp |
| DATA_SOURCE | 8 | $ | r ext4_get_group_number |
| STR_LEN | 0 | sb | 41 |
| BIT_INFO | 7 | $ | 0x0,0x0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/mballoc.c ext4_mb_mark_bb() -> __ext4_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 | 8786437048752369664 |
| PARAM_VALUE | 2 | line | 4284 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1610044051290624000 |
| PARAM_VALUE | 8 | $ | 0-s32max |
| BUF_SIZE | 1 | function | 16 |
| BUF_SIZE | 6 | fmt | 55 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 54 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 7 | $ | |
| NO_OVERFLOW_SIMPLE | 8 | $ | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/mballoc.c ext4_mb_mark_diskspace_used() -> __ext4_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 | 5001163425724104704 |
| PARAM_VALUE | 2 | line | 4222 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8658950371018031104 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 54 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 7 | $ | r ext4_grp_offs_to_block |
| STR_LEN | 0 | sb | 53 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ext4_jbd2.c __ext4_forget() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 4488742182397349888 |
| PARAM_VALUE | 2 | line | 6730,6779 |
| PARAM_VALUE | 3 | force_ro | 1 |
| PARAM_VALUE | 4 | error | 5,12 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2352230787499528192 |
| PARAM_VALUE | 7 | $ | (-12),(-5) |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 32 |
| DATA_SOURCE | 1 | function | $0 |
| DATA_SOURCE | 2 | line | $1 |
| DATA_SOURCE | 7 | $ | r jbd2_journal_revoke |
| STR_LEN | 0 | sb | (-1)-1 |
| STR_LEN | 1 | function | (-1)-1 |
| STR_LEN | 1 | function | 31 |
| BIT_INFO | 7 | $ | 0x0,0x0 |
| TERMINATED | 6 | fmt | 1 |
| HARD_MAX | 2 | line | 6779 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/ext4_jbd2.c ext4_check_bdev_write_error() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 613680615682080768 |
| PARAM_VALUE | 2 | line | 234 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | (-2147483647)-(-1),1-s32max |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7773498732130537472 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb->dq_op | (-1),88 |
| BUF_SIZE | 0 | sb->s_cop | (-1),72 |
| BUF_SIZE | 0 | sb->s_export_op | (-1),80 |
| BUF_SIZE | 0 | sb->s_fs_info | (-1),96,376,768,2440,4416,12288 |
| BUF_SIZE | 0 | sb->s_op | (-1),216 |
| BUF_SIZE | 0 | sb->s_qcop | (-1),88 |
| BUF_SIZE | 0 | sb->s_root | (-1)-s32max |
| BUF_SIZE | 0 | sb->s_type | (-1),232 |
| BUF_SIZE | 0 | sb->s_vop | (-1),48 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),16,32,40 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 38 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb->s_id | (-1),31 |
| STR_LEN | 1 | function | 37 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &ei->i_data_sem | ||
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &grp->alloc_sem | ||
| HALF_LOCKED2 | &sbi->s_orphan_lock |
fs/ext4/ext4_jbd2.c ext4_journal_check_start() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 753769533199523840 |
| PARAM_VALUE | 2 | line | 94 |
| PARAM_VALUE | 3 | force_ro | 1 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1914216054942482432 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb->dq_op | (-1),88 |
| BUF_SIZE | 0 | sb->s_cop | (-1),72 |
| BUF_SIZE | 0 | sb->s_export_op | (-1),80 |
| BUF_SIZE | 0 | sb->s_fs_info | (-1),376,2440,4416,12288 |
| BUF_SIZE | 0 | sb->s_op | (-1),216 |
| BUF_SIZE | 0 | sb->s_qcop | (-1),88 |
| BUF_SIZE | 0 | sb->s_root | (-1)-s32max |
| BUF_SIZE | 0 | sb->s_type | (-1),232 |
| BUF_SIZE | 0 | sb->s_vop | (-1),48 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),16,32,40 |
| BUF_SIZE | 1 | function | 25 |
| BUF_SIZE | 6 | fmt | 25 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb->s_id | (-1),31 |
| STR_LEN | 1 | function | 24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_convert_meta_bg() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3711743097847955456 |
| PARAM_VALUE | 2 | line | 1922 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5176451182678142976 |
| BUF_SIZE | 1 | function | 21 |
| BUF_SIZE | 6 | fmt | 42 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 41 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_convert_meta_bg() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3711743097847955456 |
| PARAM_VALUE | 2 | line | 1986 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 164043461850656768 |
| BUF_SIZE | 1 | function | 21 |
| BUF_SIZE | 6 | fmt | 36 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 35 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_resize_begin() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 8908643044226220032 |
| PARAM_VALUE | 2 | line | 60 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4145182332214595584 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 6 | fmt | 55 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 54 |
| CAPABLE | 0 | 24 | |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_resize_fs() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3634306734683983872 |
| PARAM_VALUE | 2 | line | 2063 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8777165492121202688 |
| BUF_SIZE | 1 | function | 15 |
| BUF_SIZE | 6 | fmt | 48 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 47 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/balloc.c ext4_get_group_desc() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 8148890000420208640 |
| PARAM_VALUE | 2 | line | 280 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4133513328879915008 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb->dq_op | (-1),88 |
| BUF_SIZE | 0 | sb->s_bdev | (-1),2136 |
| BUF_SIZE | 0 | sb->s_bdev->bd_queue | (-1),2456 |
| BUF_SIZE | 0 | sb->s_cop | (-1),72 |
| BUF_SIZE | 0 | sb->s_export_op | (-1),80 |
| BUF_SIZE | 0 | sb->s_op | (-1),216,224 |
| BUF_SIZE | 0 | sb->s_qcop | (-1),88 |
| BUF_SIZE | 0 | sb->s_root | (-1)-s32max |
| BUF_SIZE | 0 | sb->s_vop | (-1),48 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),40 |
| BUF_SIZE | 1 | function | 20 |
| BUF_SIZE | 6 | fmt | 66 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| DATA_SOURCE | 8 | $ | r ext4_get_groups_count |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 65 |
| PARAM_COMPARE | 7 | $ | >= $8 |
| PARAM_COMPARE | 8 | $ | <= $7 |
| NOSPEC | 7 | $ | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &journal->j_barrier |
fs/ext4/balloc.c ext4_get_group_desc() -> __ext4_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 | 8148890000420208640 |
| PARAM_VALUE | 2 | line | 296 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 8107197700933746688 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 9 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb->dq_op | (-1),88 |
| BUF_SIZE | 0 | sb->s_bdev | (-1),2136 |
| BUF_SIZE | 0 | sb->s_bdev->bd_queue | (-1),2456 |
| BUF_SIZE | 0 | sb->s_cop | (-1),72 |
| BUF_SIZE | 0 | sb->s_export_op | (-1),80 |
| BUF_SIZE | 0 | sb->s_op | (-1),216,224 |
| BUF_SIZE | 0 | sb->s_qcop | (-1),88 |
| BUF_SIZE | 0 | sb->s_root | (-1)-s32max |
| BUF_SIZE | 0 | sb->s_vop | (-1),48 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),40 |
| BUF_SIZE | 1 | function | 20 |
| BUF_SIZE | 6 | fmt | 75 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 9 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | function | 74 |
| NOSPEC | 7 | $ | |
| NOSPEC | 9 | $ | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-s32max[c] |
| USER_DATA | 8 | $ | 0-u32max[c] |
| USER_DATA | 9 | $ | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &journal->j_barrier |
fs/ext4/balloc.c ext4_read_block_bitmap_nowait() -> __ext4_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 | 1055764928282537984 |
| PARAM_VALUE | 2 | line | 486 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 3638309619735838720 |
| PARAM_VALUE | 7 | $ | 0-u32max |
| PARAM_VALUE | 8 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 30 |
| BUF_SIZE | 6 | fmt | 50 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r ext4_block_bitmap |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 49 |
| NOSPEC | 8 | $ | |
| NOSPEC | 8 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 8 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/balloc.c ext4_read_block_bitmap_nowait() -> __ext4_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_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1055764928282537984 |
| PARAM_VALUE | 2 | line | 520 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2541734010756071424 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 30 |
| BUF_SIZE | 6 | fmt | 43 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 42 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
fs/ext4/balloc.c ext4_read_block_bitmap_nowait() -> __ext4_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_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1055764928282537984 |
| PARAM_VALUE | 2 | line | 529 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4561798319539695616 |
| PARAM_VALUE | 7 | $ | 1-4294967294 |
| PARAM_VALUE | 8 | $ | (-117),(-74) |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 30 |
| BUF_SIZE | 6 | fmt | 45 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| DATA_SOURCE | 8 | $ | r ext4_init_block_bitmap |
| STR_LEN | 0 | sb | 44 |
| BIT_INFO | 8 | $ | 0x0,0x0 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 1-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/balloc.c ext4_validate_block_bitmap() -> __ext4_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 | 1245393243465555968 |
| PARAM_VALUE | 2 | line | 427 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 3961666899506380800 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 27 |
| BUF_SIZE | 6 | fmt | 33 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $2 |
| STR_LEN | 0 | sb | 32 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/balloc.c ext4_validate_block_bitmap() -> __ext4_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 | 1245393243465555968 |
| PARAM_VALUE | 2 | line | 435 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6818276056271638528 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | 1-u32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 27 |
| BUF_SIZE | 6 | fmt | 40 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | r ext4_valid_block_bitmap |
| STR_LEN | 0 | sb | 39 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/balloc.c ext4_validate_block_bitmap() -> __ext4_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 | 1245393243465555968 |
| PARAM_VALUE | 2 | line | 444 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4426636906612760576 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| PARAM_VALUE | 8 | $ | 1-64 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 27 |
| BUF_SIZE | 6 | fmt | 61 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $2 |
| DATA_SOURCE | 8 | $ | r ext4_valid_block_bitmap_padding |
| STR_LEN | 0 | sb | 60 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
fs/ext4/balloc.c ext4_wait_block_bitmap() -> __ext4_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 | 2708806458965549056 |
| PARAM_VALUE | 2 | line | 586 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 5 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5436048769049604096 |
| PARAM_VALUE | 7 | $ | 0-4294967294 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | function | 23 |
| BUF_SIZE | 6 | fmt | 65 |
| CAPPED_DATA | 0 | sb->s_fs_info->s_group_desc | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | $1 |
| STR_LEN | 0 | sb | 64 |
| NOSPEC | 7 | $ | |
| NOSPEC | 7 | $ | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 7 | $ | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
fs/ext4/super.c count_overhead() -> __ext4_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 | 8929990517863628800 |
| PARAM_VALUE | 2 | line | 4232 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 3419295273820794880 |
| BUF_SIZE | 1 | function | 15 |
| BUF_SIZE | 6 | fmt | 52 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 7 | $ | r ext4_bg_num_gdb |
| STR_LEN | 0 | sb | 51 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 7 | $ | unit_array_size |
fs/ext4/super.c ext4_clear_journal_err() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7973429729448353792 |
| PARAM_VALUE | 2 | line | 6423 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4260368401687552000 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 0 | sb | (-1),2816 |
| BUF_SIZE | 1 | function | 23 |
| BUF_SIZE | 6 | fmt | 46 |
| CAPPED_DATA | 0 | sb | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 45 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/ext4/super.c ext4_mark_recovery_complete() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1401105481310253056 |
| PARAM_VALUE | 2 | line | 6383 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 4260368401687552000 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 46 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 45 |
| NOCHECK_CALL |
fs/ext4/super.c ext4_mark_recovery_complete() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1401105481310253056 |
| PARAM_VALUE | 2 | line | 6397 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7763705731694862336 |
| BUF_SIZE | 1 | function | 28 |
| BUF_SIZE | 6 | fmt | 39 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | 38 |
| NOCHECK_CALL | |||
| LOCK2 | &journal->j_barrier | ||
| TYPE_LOCK | (struct journal_s)->j_barrier |
fs/ext4/super.c ext4_put_super() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdi | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_root | 0 |
| PARAM_VALUE | 0 | sb->s_shrink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_sync_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | function | 5023237612792451072 |
| PARAM_VALUE | 2 | line | 1317 |
| PARAM_VALUE | 3 | force_ro | 1 |
| PARAM_VALUE | 4 | error | 5 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 1584833052472885248 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb->s_fs_info | (-1),4416 |
| BUF_SIZE | 0 | sb->s_mtd | (-1),64 |
| BUF_SIZE | 0 | sb->s_op | (-1),216 |
| BUF_SIZE | 0 | sb->s_type | (-1),232 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),16 |
| BUF_SIZE | 1 | function | 15 |
| BUF_SIZE | 6 | fmt | 30 |
| DATA_SOURCE | 0 | sb | $0 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb->s_id | (-1),31 |
| STR_LEN | 1 | function | 29 |
| BIT_INFO | 0 | sb->s_flags | 0x0,0xffffffffbfffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| HALF_LOCKED2 | &s->s_umount | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &cifs_mount_mutex |
fs/ext4/super.c ext4_quota_enable() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 743739891661901824 |
| PARAM_VALUE | 2 | line | 7255 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 5077761521264271360 |
| PARAM_VALUE | 7 | $ | 1-u64max |
| PARAM_VALUE | 8 | $ | 0-2 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 6 | fmt | 30 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 29 |
| HARD_MAX | 8 | $ | 2 |
| NOCHECK_CALL |
fs/ext4/super.c ext4_quota_enable() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 743739891661901824 |
| PARAM_VALUE | 2 | line | 7262 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 0 |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 2228633398802894848 |
| PARAM_VALUE | 7 | $ | 3-4,11-u64max |
| PARAM_VALUE | 8 | $ | 0-2 |
| BUF_SIZE | 1 | function | 18 |
| BUF_SIZE | 6 | fmt | 31 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 8 | $ | $1 |
| STR_LEN | 0 | sb | 30 |
| HARD_MAX | 8 | $ | 2 |
| NOCHECK_CALL |
fs/ext4/super.c ext4_release_dquot() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->dq_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 2075273386059571200 |
| PARAM_VALUE | 2 | line | 7103 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-s32max |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 7452088621126709248 |
| BUF_SIZE | 1 | function | 19 |
| BUF_SIZE | 6 | fmt | 32 |
| STR_LEN | 0 | sb | 31 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/ext4/super.c ext4_write_dquot() -> __ext4_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->dq_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 3982672812669157376 |
| PARAM_VALUE | 2 | line | 7047 |
| PARAM_VALUE | 3 | force_ro | 0 |
| PARAM_VALUE | 4 | error | 1-s32max |
| PARAM_VALUE | 5 | block | 0 |
| PARAM_VALUE | 6 | fmt | 6401251320516939776 |
| BUF_SIZE | 1 | function | 17 |
| BUF_SIZE | 6 | fmt | 31 |
| STR_LEN | 0 | sb | 30 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |