Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/romfs/storage.c romfs_dev_strcmp() -> romfs_blk_strcmp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev 1-u64max
PARAM_VALUE 0 sb->s_fs_info 33-u64max
PARAM_VALUE 1 pos 32-4294967311
PARAM_VALUE 3 size 0-128
BUF_SIZE 2 str s32min-(-2),1-s32max
BUF_SIZE 2 str s32min-(-2),1-s32max
CAPPED_DATA 0 sb->s_fs_info 1
CAPPED_DATA 1 pos 1
CAPPED_DATA 1 pos 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 pos $1
DATA_SOURCE 2 str $2
DATA_SOURCE 3 size $3
FUZZY_MAX 3 size 128
PARAM_COMPARE 1 pos < $0->s_fs_info
PARAM_COMPARE 1 pos < $0->s_fs_info
HARD_MAX 3 size 128
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 pos unit_byte
UNITS 2 str unit_byte
UNITS 3 size unit_byte
HALF_LOCKED2 &dir->i_rwsem