Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/inode.c iput() -> iput_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->i_op->sync_lazytime | 0,6951464784224747520 |
| DATA_SOURCE | 0 | inode | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |