Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/ext4_jbd2.c __ext4_journal_get_write_access() -> ext4_check_bdev_write_error()

Type Parameter Key Value
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_cop (-1),72
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_fs_info (-1),376,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 $3
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_data_sem
HALF_LOCKED2 &elr->lr_super->s_umount
HALF_LOCKED2 &grp->alloc_sem
HALF_LOCKED2 &sbi->s_orphan_lock