Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ocfs2/refcounttree.c __ocfs2_decrease_refcount() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-u32max |
| PARAM_VALUE | 4 | ret_rec | 2099618480539385856 |
| PARAM_VALUE | 5 | index | 8664624537184505856 |
| PARAM_VALUE | 5 | *index | 0-u16max |
| PARAM_VALUE | 6 | ret_bh | 4987028500370702336 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1),48 |
| BUF_SIZE | 0 | ci | (-1),48 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| DATA_SOURCE | 2 | cpos | $3 |
| DATA_SOURCE | 3 | len | $4 |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | len | 1-u32max[c] |
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c __ocfs2_increase_refcount() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 2 | cpos | 1-u64max |
| PARAM_VALUE | 3 | len | 1-u32max |
| PARAM_VALUE | 4 | ret_rec | 2518208243282841600 |
| PARAM_VALUE | 5 | index | 2987874103279009792 |
| PARAM_VALUE | 6 | ret_bh | 8705477159489622016 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1),48 |
| BUF_SIZE | 0 | ci | (-1),48 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| DATA_SOURCE | 2 | cpos | $3 |
| DATA_SOURCE | 3 | len | $4 |
| NOSPEC | 2 | cpos | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | cpos | 1-8589934590[c][u] |
| USER_DATA | 3 | len | 1-s32max[c] |
| USER_DATA | 4 | ret_rec->r_clusters | 0-u32max[c] |
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c ocfs2_calc_refcount_meta_credits() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-u32max |
| PARAM_VALUE | 4 | ret_rec | 7906349845546479616 |
| PARAM_VALUE | 5 | index | 5247160417295638528 |
| PARAM_VALUE | 6 | ret_bh | 1498459766846386176 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1),48 |
| BUF_SIZE | 0 | ci | (-1),48 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| DATA_SOURCE | 3 | len | $4 |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | len | 1-4294967294[c] |
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c ocfs2_insert_refcount_rec() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 1 | ref_root_bh | 4096-ptr_max |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_clusters | 1 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_flags | 2-4294967295 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_count | 0-u16max |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_next_free_rec | 1 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_reserved1 | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_reserved2 | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_tree_depth | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_private | 4096-ptr_max |
| PARAM_VALUE | 4 | ret_rec | 0 |
| PARAM_VALUE | 6 | ret_bh | 3137568235794247680 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1),48 |
| BUF_SIZE | 0 | ci | (-1),48 |
| CAPPED_DATA | 1 | ref_root_bh | 1 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c ocfs2_make_clusters_writable() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 808,4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 1 | ref_root_bh | 0,4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-u32max |
| PARAM_VALUE | 4 | ret_rec | 6221229440287076352 |
| PARAM_VALUE | 5 | index | 4847134835009093632 |
| PARAM_VALUE | 6 | ret_bh | 8324585753612472320 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | 48 |
| DATA_SOURCE | 2 | cpos | $3 |
| DATA_SOURCE | 3 | len | $4 |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | len | 1-s32max[c] |
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c ocfs2_refcounted_xattr_delete_need() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-u32max |
| PARAM_VALUE | 4 | ret_rec | 6857337214049370112 |
| PARAM_VALUE | 5 | index | 4172471392252928000 |
| PARAM_VALUE | 6 | ret_bh | 527774105264377856 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1)-0,48 |
| BUF_SIZE | 0 | ci | (-1)-0,48 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 3 | len | unit_byte |
fs/ocfs2/refcounttree.c ocfs2_split_refcount_rec() -> ocfs2_get_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 1 | ref_root_bh | 4096-ptr_max |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_clusters | 1 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_flags | 2-4294967295 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_count | 0-u16max |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_next_free_rec | 1 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_reserved1 | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_reserved2 | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_data->rf_list.l_tree_depth | 0 |
| PARAM_VALUE | 1 | ref_root_bh->b_private | 4096-ptr_max |
| PARAM_VALUE | 4 | ret_rec | 3956182055245148160 |
| PARAM_VALUE | 6 | ret_bh | 8916174471624859648 |
| PARAM_VALUE | 6 | *ret_bh | 0 |
| BUF_SIZE | 0 | ci | (-1),48 |
| BUF_SIZE | 0 | ci | (-1),48 |
| CAPPED_DATA | 1 | ref_root_bh | 1 |
| DATA_SOURCE | 0 | ci | $1 |
| DATA_SOURCE | 1 | ref_root_bh | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | cpos | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |