Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/isofs/inode.c isofs_read_inode() -> isofs_read_level3_size()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_bdev 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648,2712
PARAM_VALUE 0 inode->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_min_active s32min-s32max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes