Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/dlm/lock.c dlm_clear_proc_locks() -> dlm_free_cb()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
CAPPED_DATA 0 &cb->list 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ls->ls_clear_proc_locks
LOCK2 &ls->ls_in_recovery
LOCK2 bh
TYPE_LOCK (struct dlm_ls)->ls_clear_proc_locks
TYPE_LOCK (struct dlm_ls)->ls_in_recovery

fs/dlm/lock.c purge_proc_locks() -> dlm_free_cb()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
CAPPED_DATA 0 &cb->list 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ls->ls_in_recovery
LOCK2 &proc->asts_spin
LOCK2 bh
TYPE_LOCK (struct dlm_ls)->ls_in_recovery
TYPE_LOCK (struct dlm_user_proc)->asts_spin

fs/dlm/user.c device_read() -> dlm_free_cb()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
NOCHECK_CALL

fs/dlm/ast.c dlm_do_callback() -> dlm_free_cb()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->astparam->cc_private->oc_sync_wait.done 0-4294967295
PARAM_VALUE 0 cb->astparam->cc_private->oc_sync_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 cb->astparam->cc_private->oc_sync_wait.wait.lock.owner (-1)
PARAM_VALUE 0 cb->astparam->cc_private->oc_sync_wait.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 cb->astparam->gl_lksb.sb_lkid 0
PARAM_VALUE 0 cb->astparam->gl_lockref.count 1-s32max
PARAM_VALUE 0 cb->astparam->gl_name.ln_sbd->sd_glock_disposal.counter s32min-s32max
PARAM_VALUE 0 cb->astparam->gl_rcu.next 0
PARAM_VALUE 0 cb->astparam->gl_work.cpu s32min-s32max
PARAM_VALUE 0 cb->astparam->gl_work.timer.flags 0-4294967295
PARAM_VALUE 0 cb->astparam->ls_sync_wait.done 0-4294967295
PARAM_VALUE 0 cb->astparam->ls_sync_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 cb->astparam->ls_sync_wait.wait.lock.owner (-1)
PARAM_VALUE 0 cb->astparam->ls_sync_wait.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 cb->astparam->sync_locking_done 1
PARAM_VALUE 0 *cb->astparam->gl_lksb.sb_lvbptr 0-255
DATA_SOURCE 0 cb $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &ls->ls_cb_lock
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recoverd_active
HALF_LOCKED2 bh