Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/f2fs/segment.c f2fs_destroy_segment_manager() -> f2fs_destroy_flush_cmd_control()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 free 1
DATA_SOURCE 0 sbi $0
NOCHECK_CALL

fs/f2fs/super.c __f2fs_remount() -> f2fs_destroy_flush_cmd_control()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->meta_inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 sbi->node_inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 sbi->raw_super 4096-ptr_max
PARAM_VALUE 1 free 0
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 0 &sbi->s_error_work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sbi->sb->s_bdev->bd_mapping->host->i_bytes
UNITS 0 sbi unit_byte
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount