Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/super.c f2fs_drop_inode() -> f2fs_destroy_extent_node()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_hash.pprev | 1-u64max |
| PARAM_VALUE | 0 | inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->i_nlink | 0 |
| PARAM_VALUE | 0 | inode->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| 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 |
| NOCHECK_CALL |