Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/f2fs/segment.c __replace_atomic_write_block() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 1 | addr | unit_page |
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &sbi->cp_rwsem.internal_rwsem | ||
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/f2fs/file.c __roll_back_blkaddrs() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->stat_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 0 | sbi->reserved_blocks | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| LOCK2 | &dst_inode->i_rwsem | ||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &dst_inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/f2fs/file.c f2fs_do_truncate_blocks() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 0 | sbi->root_ino_num | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 1 | addr | unit_page |
| UNITS | 2 | len | unit_page |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | 0 | &sbi->cp_rwsem.internal_rwsem |
fs/f2fs/file.c f2fs_do_zero_range() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi->total_valid_block_count | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 1-4294967294 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 1 | addr | r f2fs_data_blkaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 1 | addr | unit_page |
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| LOCK2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/f2fs/file.c f2fs_truncate_data_blocks_range() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 0-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &src_inode->i_rwsem |
fs/f2fs/file.c f2fs_truncate_data_blocks_range() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u32max |
| PARAM_VALUE | 2 | len | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 1 | addr | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &src_inode->i_rwsem |
fs/f2fs/file.c f2fs_truncate_data_blocks_range() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &src_inode->i_rwsem |
fs/f2fs/node.c f2fs_recover_xattr_data() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 1 | addr | unit_page |
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem |
fs/f2fs/node.c truncate_node() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 1 | addr | unit_page |
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem |
fs/f2fs/compress.c f2fs_write_compressed_pages() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | addr | 1-4294967293 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| DATA_SOURCE | 1 | addr | r f2fs_data_blkaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->writepages | ||
| HALF_LOCKED2 | 0 | &sbi->cp_rwsem.internal_rwsem | |
| HALF_LOCKED2 | 0 | &sbi->node_write.internal_rwsem | |
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem |
fs/f2fs/compress.c f2fs_write_compressed_pages() -> f2fs_invalidate_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | addr | 1-4294967293 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| DATA_SOURCE | 1 | addr | r f2fs_data_blkaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->writepages | ||
| HALF_LOCKED2 | 0 | &sbi->cp_rwsem.internal_rwsem | |
| HALF_LOCKED2 | 0 | &sbi->node_write.internal_rwsem | |
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem |