Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/f2fs/gc.c move_data_block() -> f2fs_allocate_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->io_order_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sbi->meta_inode | 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 | 1 | folio | 0 |
| PARAM_VALUE | 2 | old_blkaddr | 1-u32max |
| PARAM_VALUE | 3 | new_blkaddr | 308515956130496512 |
| PARAM_VALUE | 4 | sum | 8072263081986289664 |
| PARAM_VALUE | 5 | type | 2,7 |
| PARAM_VALUE | 6 | fio | 0 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 2 | old_blkaddr | 1 |
| FUZZY_MAX | 5 | type | 7 |
| BIT_INFO | 5 | type | 0x2,0x7 |
| HARD_MAX | 5 | type | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 2 | old_blkaddr | unit_page |
| LOCK2 | &sbi->gc_lock.internal_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->pin_sem.internal_rwsem | ||
| HALF_LOCKED2 | 0 | &sbi->io_order_lock.internal_rwsem |
fs/f2fs/segment.c do_write_page() -> f2fs_allocate_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 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 | 0 | *sbi->page_eio_cnt | s32min-s32max |
| PARAM_VALUE | 2 | old_blkaddr | 1-u32max |
| PARAM_VALUE | 3 | new_blkaddr | 1643891999006216220,3515912022225387548,4862455703487115292,5877861900899721244,7185555897578291228 |
| PARAM_VALUE | 3 | *new_blkaddr | 0-4294967294 |
| PARAM_VALUE | 4 | sum | 39006821260709888,924678891746209792 |
| PARAM_VALUE | 5 | type | 0-7 |
| PARAM_VALUE | 6 | fio | 1643891999006216192,3515912022225387520,4862455703487115264,5877861900899721216,7185555897578291200 |
| PARAM_VALUE | 6 | fio->bio | 0,7493440298421870592 |
| PARAM_VALUE | 6 | fio->io_type | 6,8,10-13 |
| PARAM_VALUE | 6 | fio->io_wbc | 0,4096-ptr_max |
| PARAM_VALUE | 6 | fio->is_por | 0 |
| PARAM_VALUE | 6 | fio->last_block | 0,5675672671440355328 |
| PARAM_VALUE | 6 | fio->need_lock | 0-1 |
| PARAM_VALUE | 6 | fio->new_blkaddr | 0-4294967294 |
| PARAM_VALUE | 6 | fio->old_blkaddr | 1-u32max |
| PARAM_VALUE | 6 | fio->op | 1 |
| PARAM_VALUE | 6 | fio->op_flags | 0,2048,10240,395264,1048576 |
| PARAM_VALUE | 6 | fio->sbi | 4096-ptr_max |
| PARAM_VALUE | 6 | fio->sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 6 | fio->sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 6 | fio->temp | 0-2 |
| PARAM_VALUE | 6 | fio->type | 0-1 |
| PARAM_VALUE | 6 | *fio->bio | 0 |
| PARAM_VALUE | 6 | *fio->sbi->page_eio_cnt | s32min-s32max |
| BUF_SIZE | 0 | sbi | (-1),1-s32max |
| BUF_SIZE | 0 | sbi | (-1),1-s32max |
| BUF_SIZE | 6 | fio->sbi | (-1),1-s32max |
| CAPPED_DATA | 2 | old_blkaddr | 1 |
| CAPPED_DATA | 6 | fio->old_blkaddr | 1 |
| DATA_SOURCE | 4 | sum | $0 |
| DATA_SOURCE | 5 | type | r __get_segment_type |
| DATA_SOURCE | 6 | fio | $1 |
| STR_LEN | 6 | fio->io_wbc->inode | (-1) |
| BIT_INFO | 6 | fio->need_lock | 0x0,0x3 |
| HARD_MAX | 6 | fio->type | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sbi | unit_byte |
| UNITS | 2 | old_blkaddr | unit_page |
| HALF_LOCKED2 | &sbi->node_write.internal_rwsem | ||
| HALF_LOCKED2 | 0 | &sbi->cp_rwsem.internal_rwsem | |
| HALF_LOCKED2 | 0 | &sbi->io_order_lock.internal_rwsem | |
| HALF_LOCKED2 | 6 | &fio->sbi->cp_rwsem.internal_rwsem | |
| HALF_LOCKED2 | 6 | &fio->sbi->io_order_lock.internal_rwsem |
fs/f2fs/data.c __allocate_data_block() -> f2fs_allocate_data_block()
| 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 | 1 | folio | 0 |
| PARAM_VALUE | 3 | new_blkaddr | 4096-ptr_max |
| PARAM_VALUE | 4 | sum | 8670274616312573952 |
| PARAM_VALUE | 6 | fio | 0 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| DATA_SOURCE | 5 | type | $1 |
| UNITS | 0 | sbi | unit_byte |
| UNITS | 2 | old_blkaddr | unit_page |