Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/alloc.c ocfs2_insert_path() -> ocfs2_split_record()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
PARAM_VALUE 0 et->et_ci 4096-ptr_max
PARAM_VALUE 0 et->et_ci->ci_ops 4096-ptr_max
PARAM_VALUE 0 et->et_ci->ci_ops->co_get_super 4096-ptr_max
PARAM_VALUE 0 et->et_ci->ci_ops->co_owner 4096-ptr_max
PARAM_VALUE 0 et->et_ops 4096-ptr_max
PARAM_VALUE 0 et->et_ops->eo_get_last_eb_blk 4096-ptr_max
PARAM_VALUE 0 et->et_root_bh->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 et->et_root_el 4096-ptr_max
PARAM_VALUE 0 et->et_root_el->l_tree_depth 1-4
PARAM_VALUE 0 et->et_root_journal_access 4096-ptr_max
PARAM_VALUE 1 left_path 0,4096-ptr_max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
PARAM_VALUE 3 split_rec 1702533425969602560,5118939721981898752,7341361517825527808
PARAM_VALUE 4 split 1-2
BUF_SIZE 0 et->et_dealloc (-1),16
BUF_SIZE 2 right_path 96
CAPPED_DATA 0 et->et_root_bh 1
DATA_SOURCE 0 et $1
DATA_SOURCE 1 left_path $2
DATA_SOURCE 2 right_path $3
DATA_SOURCE 3 split_rec $4
NOSPEC 3 split_rec->e_cpos
NOSPEC 3 split_rec->e_leaf_clusters
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 split_rec->e_cpos 0-u32max[c]
USER_DATA 3 split_rec->e_leaf_clusters 0-u16max[c]