Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
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_op->get_acl 0,4096-ptr_max
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
PARAM_VALUE 1 relocated 0-1
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode r iget5_locked
DATA_SOURCE 1 relocated $3
HARD_MAX 1 relocated 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_bytes