Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/ext4/fast_commit.c ext4_fc_commit() -> ext4_test_mount_flag()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bit 1
BUF_SIZE 0 sb 2816
BUF_SIZE 0 sb 2816
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/fast_commit.c ext4_fc_eligible() -> ext4_test_mount_flag()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bit 1
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/fast_commit.c ext4_fc_mark_ineligible() -> ext4_test_mount_flag()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bit 1
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1)-1,8
STR_LEN 0 sb (-1)-1,8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &ei->i_fc_lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/file.c ext4_sample_last_mounted() -> ext4_test_mount_flag()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bit 0
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/super.c ext4_handle_error() -> ext4_test_mount_flag()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bit 2
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->dq_op (-1),88
BUF_SIZE 0 sb->s_bdev (-1),2136
BUF_SIZE 0 sb->s_bdev->bd_queue (-1),2456
BUF_SIZE 0 sb->s_cop (-1),72
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_fs_info (-1),96,376,768,2440,4416,12288
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_qcop (-1),88
BUF_SIZE 0 sb->s_root (-1)-s32max
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_vop (-1),48
BUF_SIZE 0 sb->s_xattr (-1),16,32,40
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1)-1,4-5,8,16,19-20,23-24,26,29-39,41-42,44-49,51,53-54,57-60,64,67,79,81,89
STR_LEN 0 sb (-1)-1,4-5,8,16,19-20,23-24,26,29-39,41-42,44-49,51,53-54,57-60,64,67,79,81,89
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max
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
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte