Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/refcounttree.c ocfs2_lock_refcount_tree() -> ocfs2_erase_refcount_tree_from_list()

Type Parameter Key Value
PARAM_VALUE 0 osb 4096-ptr_max
PARAM_VALUE 0 osb->journal->j_trans_barrier.first_waiter->handoff_set 0-1
PARAM_VALUE 0 osb->journal->j_trans_barrier.first_waiter->type 0-1
PARAM_VALUE 0 osb->osb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 osb->osb_ref_tree_lru 4096-ptr_max
PARAM_VALUE 0 osb->sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 osb->sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 osb->sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 osb->sys_root_inode->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 1 tree 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_action 0-2
PARAM_VALUE 1 tree->rf_lockres.l_lksb->lksb_fsdlm.sb_lvbptr 0-255
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->ast 0-s64max
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->bast 0-s64max
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->bast_pending 0-1
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->cancel_pending 0-1
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->convert_pending 0-1
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->lock_pending 0-1
PARAM_VALUE 1 tree->rf_lockres.l_lksb.lksb_o2dlm.lockid->unlock_pending 0-1
PARAM_VALUE 1 tree->rf_lockres.l_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tree->rf_lockres.l_lockdep_map->name 0-255
PARAM_VALUE 1 tree->rf_lockres.l_mask_waiters.prev 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_mask_waiters.prev->next 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_mask_waiters.prev->next->next 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_ops->flags 0-1,3
PARAM_VALUE 1 tree->rf_lockres.l_priv 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_count.counter s32min-s32max
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->purge_count 0-4294967295
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->res_cur_count.counter s32min-s32max
PARAM_VALUE 1 tree->rf_lockres.l_priv->cconn->cc_lockspace->res_tot_count.counter s32min-s32max
PARAM_VALUE 1 tree->rf_lockres.l_priv->osb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tree->rf_lockres.l_requested 3,5
PARAM_VALUE 1 tree->rf_sem.dep_map->name 0-255
PARAM_VALUE 1 tree->rf_sem.first_waiter->handoff_set 1
PARAM_VALUE 1 tree->rf_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 tree->rf_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 tree->rf_sem.first_waiter->type 0-1
BUF_SIZE 0 osb 1-s32max
BUF_SIZE 0 osb 1-s32max
DATA_SOURCE 0 osb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 osb unit_byte
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

fs/ocfs2/refcounttree.c ocfs2_remove_refcount_tree() -> ocfs2_erase_refcount_tree_from_list()

Type Parameter Key Value
PARAM_VALUE 0 osb 4096-ptr_max
PARAM_VALUE 0 osb->journal 4096-ptr_max
PARAM_VALUE 0 osb->journal->j_journal 1-u64max
PARAM_VALUE 0 osb->journal->j_state 1-u32max
PARAM_VALUE 0 osb->journal->j_trans_barrier.first_waiter->handoff_set 0-1
PARAM_VALUE 0 osb->journal->j_trans_barrier.first_waiter->type 0-1
PARAM_VALUE 0 osb->osb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 osb->osb_ref_tree_lru 4096-ptr_max
PARAM_VALUE 0 osb->sys_root_inode->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 1 tree 4096-ptr_max
PARAM_VALUE 1 tree->rf_ci.ci_ops 4096-ptr_max
PARAM_VALUE 1 tree->rf_ci.ci_ops->co_get_super 4096-ptr_max
PARAM_VALUE 1 tree->rf_ci.ci_ops->co_owner 4096-ptr_max
PARAM_VALUE 1 tree->rf_lockres.l_action 0-2
PARAM_VALUE 1 tree->rf_lockres.l_blocking 0
PARAM_VALUE 1 tree->rf_lockres.l_requested 0,3,5
PARAM_VALUE 1 tree->rf_lockres.l_unlock_action 2
PARAM_VALUE 1 tree->rf_removed s32min-(-1),1-s32max
PARAM_VALUE 1 tree->rf_sem.osq.tail.counter 0-s32max
BUF_SIZE 0 osb 1-s32max
BUF_SIZE 0 osb 1-s32max
CAPPED_DATA 0 osb->journal->j_journal 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 osb unit_byte
HALF_LOCKED2 &alloc_inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem
HALF_LOCKED2 &oi->ip_xattr_sem