Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/util.c gfs2_withdraw_func() -> do_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_args.ar_debug 0
PARAM_VALUE 0 sdp->sd_control_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 sdp->sd_lockstruct.ls_dlm 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_lvb_bits 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops 4096-ptr_max
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops->lm_lock 0,7033430123836678144
PARAM_VALUE 0 sdp->sd_lockstruct.ls_recover_result 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_recover_size 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_recover_spin.rlock.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_lockstruct.ls_recover_submit 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.first_waiter->type 0-1
PARAM_VALUE 0 sdp->sd_lockstruct.ls_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_callback_wq->first_flusher->done.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_callback_wq->lockdep_map->name 0-255
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_callback_wq->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_callback_wq->rescuer->task->pi_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_all_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_locks_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_queued_asts_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_rsb_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_toss_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_debug_waiters_dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_recoverd_task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sdp->sd_lockstruct->ls_dlm->ls_recoverd_task->pi_lock.owner (-4611686018427387904)-4611686018427387903
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/gfs2/util.c gfs2_withdraw_func() -> do_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_args.ar_debug 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops 4096-ptr_max
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops->lm_lock 0,7033430123836678144
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/gfs2/util.c gfs2_withdraw_func() -> do_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_args.ar_debug 0
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops 4096-ptr_max
PARAM_VALUE 0 sdp->sd_lockstruct.ls_ops->lm_lock 0,7033430123836678144
NOCHECK_CALL
HALF_LOCKED2 &pool->lock