Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/ext4/fsync.c ext4_fsync_journal() -> ext4_force_commit()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/inode.c ext4_iomap_alloc() -> ext4_force_commit()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_cop->empty_dir 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 sb->s_cop->get_context 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 sb->s_cop->set_context 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 sb->s_fs_info->s_dirtyclusters_counter.lock.owner (-1)
PARAM_VALUE 0 sb->s_fs_info->s_dirtyclusters_counter.lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sb->s_fs_info->s_error_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_es_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_mb_free_pending.counter s32min-s32max
PARAM_VALUE 0 *sb->s_fs_info->s_dirtyclusters_counter.counters s32min-s32max
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
UNITS 0 sb unit_byte

fs/ext4/ioctl.c ext4_force_shutdown() -> ext4_force_commit()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_bdi->wb_switch_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_op->remove_bdev 0,4640431662171430912
PARAM_VALUE 0 sb->s_op->shutdown 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544
PARAM_VALUE 0 sb->s_op->sync_fs 0,4096-ptr_max
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
DATA_SOURCE 0 sb $0
CAPABLE 0 21
RX_PATH

fs/ext4/super.c ext4_journal_destroy() -> ext4_force_commit()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL