Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/refcounttree.c __ocfs2_lock_refcount_tree() -> ocfs2_refcount_lock()

Type Parameter Key Value
PARAM_VALUE 0 ref_tree 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_ci.ci_flags 0,2-u32max
PARAM_VALUE 0 ref_tree->rf_ci.ci_num_cached 0
PARAM_VALUE 0 ref_tree->rf_lockres->l_lksb.lksb_fsdlm.sb_lvbptr 0-255
PARAM_VALUE 0 ref_tree->rf_lockres->l_priv->dl_lockres.l_lksb.lksb_fsdlm.sb_lvbptr 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_action 0
PARAM_VALUE 0 ref_tree->rf_lockres.l_blocked_list.next->prev 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_blocked_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_blocking 0
PARAM_VALUE 0 ref_tree->rf_lockres.l_debug_list.next->next 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_debug_list.next->prev 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_debug_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_debug_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb->lksb_fsdlm.sb_lvbptr 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_fsdlm.sb_status (-65538)-(-65537),(-35),(-11),0
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm->lockid->lockres->lockname.name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->ast 0-s64max
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->ast_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->bast 0-s64max
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->bast_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->cancel_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->convert_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->lock_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->lock_refs.refcount.refs.counter 1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->ml.list 0-2
PARAM_VALUE 0 ref_tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->unlock_pending 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_mask_waiters.prev 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_mask_waiters.prev->next 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_mask_waiters.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_ops->flags 0-1,3
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv 4096-ptr_max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_count.counter s32min-s32max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_scan_timer.is_hard 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_scan_timer.is_lazy 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_scan_timer.is_queued 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_scan_timer.is_soft 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->purge_count 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->res_cur_count.counter s32min-s32max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->cconn->cc_lockspace->res_tot_count.counter s32min-s32max
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dc_task_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_count 2-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->aux->work.flags 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->aux->work.is_hard 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->aux->work.is_lazy 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->aux->work.is_queued 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->aux->work.is_soft 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->work.is_queued 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_inode->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->dl_lockres.l_requested 0,3,5
PARAM_VALUE 0 ref_tree->rf_lockres.l_priv->osb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_lockres.l_requested 0,3,5
PARAM_VALUE 0 ref_tree->rf_removed s32min-(-1),1-s32max
PARAM_VALUE 0 ref_tree->rf_sem.dep_map->name 0-255
PARAM_VALUE 0 ref_tree->rf_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 ref_tree->rf_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 ref_tree->rf_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 ref_tree->rf_sem.first_waiter->type 0-1
PARAM_VALUE 1 ex 1
DATA_SOURCE 0 ref_tree $1
DATA_SOURCE 1 ex $2
FUZZY_MAX 0 ref_tree->rf_removed 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &(inode->i_sb)->s_fs_info->nfs_sync_rwlock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &new_inode->i_rwsem
HALF_LOCKED2 &t_inode->i_rwsem