Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/inode.c iput_final() -> (struct super_operations)->drop_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_count.counter | 0 |
| PARAM_VALUE | 0 | inode->i_lock.rlock.dep_map->name | 0-255 |
| 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_op | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_op->drop_inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |