Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ocfs2/move_extents.c ocfs2_move_extent() -> ocfs2_probe_alloc_group()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_data | 4096-ptr_max |
| PARAM_VALUE | 2 | goal_bit | 8092379308329500672 |
| PARAM_VALUE | 3 | move_len | 0-u16max |
| PARAM_VALUE | 5 | phys_cpos | 1911173428067151872 |
| CAPPED_DATA | 3 | move_len | 1 |
| DATA_SOURCE | 3 | move_len | $4 |
| DATA_SOURCE | 4 | max_hop | r ocfs2_blocks_to_clusters |
| DATA_SOURCE | 5 | phys_cpos | $3 |
| NOSPEC | 3 | move_len | |
| NOSPEC | 3 | move_len | |
| NOCHECK_CALL | |||
| USER_DATA | 3 | move_len | 1-u16max[c] |
| USER_DATA | 4 | max_hop | 0-u32max |
| USER_DATA | 5 | *phys_cpos | 0-u32max |
| UNITS | 3 | move_len | unit_byte |
| USER_PTR | 5 | phys_cpos | |
| LOCK2 | &gb_inode->i_rwsem | ||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &tl_inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |