Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/f2fs/gc.c move_data_block() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 4302199967047409664
PARAM_VALUE 0 dn->data_blkaddr 1-u32max
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &fio.sbi->io_order_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

fs/f2fs/segment.c __f2fs_commit_atomic_write() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 2401935971187396608
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
PARAM_VALUE 1 blkaddr 0
MEM_ZERO 0 dn
NOCHECK_CALL
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/segment.c __replace_atomic_write_block() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 9222824055256219648
PARAM_VALUE 0 dn->data_blkaddr 1-u32max
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
PARAM_VALUE 1 blkaddr 0,4294967294-u32max
DATA_SOURCE 1 blkaddr $2
MEM_ZERO 0 dn
NOCHECK_CALL
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/segment.c f2fs_outplace_write_data() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 6078007948475510784,7078699258320928768,8264148285849141248,8976984238490357760
PARAM_VALUE 0 dn->data_blkaddr 1-u32max
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode->i_data.host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 dn->inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 dn->inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 dn->inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 dn->inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 dn->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dn->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dn->inode->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 1 blkaddr 0-4294967294
CAPPED_DATA 0 dn->data_blkaddr 1
DATA_SOURCE 0 dn $0
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dn->inode->i_size
UNITS 1 blkaddr unit_page
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem

fs/f2fs/segment.c f2fs_replace_block() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 265096310918152192,6640892263497801728,9222824055256219648
DATA_SOURCE 0 dn $1
DATA_SOURCE 1 blkaddr $3
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 blkaddr unit_page
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
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/data.c __allocate_data_block() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 4096-ptr_max
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dn->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dn->inode->i_sb 4096-ptr_max
DATA_SOURCE 0 dn $0
NOCHECK_CALL
UNITS 1 blkaddr unit_page

fs/f2fs/file.c __read_out_blkaddrs() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 5108318825836990464
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
PARAM_VALUE 1 blkaddr 0
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 __roll_back_blkaddrs() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 4984033837788057600
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/compress.c f2fs_write_compressed_pages() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 7078699258320928768
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
PARAM_VALUE 1 blkaddr 4294967294
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->node_write.internal_rwsem
HALF_LOCKED2 &sbi->writepages
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/compress.c f2fs_write_compressed_pages() -> f2fs_update_data_blkaddr()

Type Parameter Key Value
PARAM_VALUE 0 dn 7078699258320928768
PARAM_VALUE 0 dn->inode 4096-ptr_max
PARAM_VALUE 0 dn->inode_folio 1-u64max
PARAM_VALUE 1 blkaddr u32max
MEM_ZERO 0 dn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->node_write.internal_rwsem
HALF_LOCKED2 &sbi->writepages
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem