Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/mballoc.c ext4_mb_clear_bb() -> ext4_issue_discard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->get_dquots | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->quota_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->show_stats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->shutdown | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->thaw_super | 0,4096-ptr_max |
| PARAM_VALUE | 1 | block_group | 0-4294967294 |
| CAPPED_DATA | 1 | block_group | 1 |
| NOSPEC | 1 | block_group | |
| NOSPEC | 1 | block_group | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | sb->s_fs_info->s_first_error_block | s64min-s64max[c] |
| USER_DATA | 0 | sb->s_fs_info->s_first_error_ino | 0-4294967295 |
| USER_DATA | 1 | block_group | 0-4294967294[c] |
| USER_DATA | 2 | cluster | 0-s32max[c] |
| USER_DATA | 3 | count | s32min-s32max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | block_group | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/mballoc.c ext4_trim_extent() -> ext4_issue_discard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| CAPPED_DATA | 2 | cluster | 1 |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 2 | cluster | $1 |
| DATA_SOURCE | 3 | count | $2 |
| UNITS | 1 | block_group | unit_byte |
| UNITS | 2 | cluster | unit_byte |
| UNITS | 3 | count | unit_byte |