Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jfs/xattr.c ea_put() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| BUF_SIZE | 0 | ip | (-1),1-s32max |
| BUF_SIZE | 0 | ip | (-1),1-s32max |
| BUF_SIZE | 0 | ip->i_fop | (-1),272 |
| BUF_SIZE | 0 | ip->i_link | (-1),1-255 |
| BUF_SIZE | 0 | ip->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | ip->i_op | (-1),256 |
| BUF_SIZE | 0 | ip->i_sb | (-1),2816 |
| DATA_SOURCE | 0 | ip | $1 |
| STR_LEN | 0 | ip->i_sb | (-1),8 |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| NOSPEC | 0 | ip->i_bytes | |
| NOSPEC | 0 | ip->i_mode | |
| NOSPEC | 0 | ip->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ip->i_blocks | 0-36028797024823342,18428729675200069632-u64max |
| USER_DATA | 0 | ip->i_bytes | 0-65023[c] |
| USER_DATA | 0 | ip->i_mode | 0-u16max |
| USER_DATA | 0 | ip->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_ino | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ji->commit_mutex |
fs/jfs/jfs_imap.c diFree() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_nlink | 0 |
| PARAM_VALUE | 0 | ip->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| DATA_SOURCE | 0 | ip | $0 |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ip->i_bytes |
fs/jfs/namei.c free_ea_wmap() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_acl | 0,(-1) |
| PARAM_VALUE | 0 | ip->i_data.a_ops | 8032838596130566144 |
| PARAM_VALUE | 0 | ip->i_data.gfp_mask | 1051850 |
| PARAM_VALUE | 0 | ip->i_data.host | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_data.invalidate_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_default_acl | 0,(-1) |
| PARAM_VALUE | 0 | ip->i_flctx | 0 |
| PARAM_VALUE | 0 | ip->i_hash.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_ino | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | ip->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_rwsem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| BUF_SIZE | 0 | ip->i_fop | (-1),272 |
| BUF_SIZE | 0 | ip->i_link | (-1),256 |
| BUF_SIZE | 0 | ip->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | ip->i_op | (-1),256 |
| CAPPED_DATA | 0 | ip->i_ino | 1 |
| CAPPED_DATA | 0 | ip->i_sb | 1 |
| CAPPED_DATA | 0 | ip->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | ip | $0 |
| BIT_INFO | 0 | ip->i_mapping->a_ops | 0x602a60201008a000,0xffffffffffffffff |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| NOSPEC | 0 | ip->i_mode | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ip->__i_nlink | 1-u32max |
| USER_DATA | 0 | ip->i_mode | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_size |
fs/jfs/namei.c jfs_free_zero_link() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_nlink | 0 |
| PARAM_VALUE | 0 | ip->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_size | 256-s64max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| DATA_SOURCE | 0 | ip | $0 |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ip->i_bytes |
fs/jfs/namei.c jfs_free_zero_link() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_nlink | 0 |
| PARAM_VALUE | 0 | ip->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_size | 256-s64max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| DATA_SOURCE | 0 | ip | $0 |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ip->i_bytes |
fs/jfs/jfs_xtree.c xtTruncate() -> __invalidate_metapages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16777215 |
| BUF_SIZE | 0 | ip | (-1)-s32max |
| BUF_SIZE | 0 | ip | (-1)-s32max |
| BUF_SIZE | 0 | ip->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | ip->i_op | (-1),256 |
| CAPPED_DATA | 0 | ip | 1 |
| DATA_SOURCE | 0 | ip | $1 |
| BIT_INFO | 2 | len | 0x0,0xffffff |
| NOSPEC | 0 | ip->i_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ip->i_mode | 0-u16max |
| USER_DATA | 0 | ip->i_size | 0-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_size | |
| HALF_LOCKED2 | &imap->im_freelock |