Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/romfs/super.c romfs_iget() -> romfs_dev_strnlen()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_fs_info 16-u64max
PARAM_VALUE 0 sb->s_op->shutdown 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 pos 16,32-4294967311
PARAM_VALUE 2 maxlen 128
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_op (-1),224
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_fs_info 1
CAPPED_DATA 1 pos 1
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_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 1025-2147487744[c]
UNITS 0 sb unit_byte
UNITS 1 pos unit_byte

fs/romfs/super.c romfs_readdir() -> romfs_dev_strnlen()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev 1-u64max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info 1-u64max
PARAM_VALUE 2 maxlen 127
CAPPED_DATA 1 pos 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 pos unit_byte
UNITS 2 maxlen unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem