Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/super.c ext4_clear_inode() -> ext4_fc_del()

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_lru.next 4096-ptr_max
PARAM_VALUE 0 inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 inode->i_mapping->host 0,4096-ptr_max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
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_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 inode->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_inode_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_op->evict_inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.next 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.next->next 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.prev 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inode->i_sb_list.prev->prev 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
CAPPED_DATA 0 inode->i_sb 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_bytes