Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/lock.c dlm_debug_add_lkb() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_grmode (-1)
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_lksb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter 1
BUF_SIZE 0 ls s32min-(-2),1-s32max
BUF_SIZE 0 ls s32min-(-2),1-s32max
BUF_SIZE 1 lkb->lkb_lksb 24
DATA_SOURCE 0 ls $0
NOCHECK_CALL
UNITS 0 ls unit_array_size

fs/dlm/lock.c dlm_lock() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_astfn 1-u64max
PARAM_VALUE 1 lkb->lkb_astparam 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_grmode (-128)-127
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_lksb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_nodeid s32min-s32max
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 lkb->lkb_ua 4096-ptr_max
BUF_SIZE 0 ls (-1),8,1560
BUF_SIZE 0 ls (-1),8,1560
CAPPED_DATA 1 lkb 1
DATA_SOURCE 0 ls $0
STR_LEN 0 ls (-1)-1010101
STR_LEN 0 ls (-1)-1010101
STR_LEN 1 lkb->lkb_rqmode (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_sem
TYPE_LOCK (struct dlm_ls)->ls_in_recovery

fs/dlm/lock.c dlm_put_lkb() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 1-u64max
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_resource 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_resource->res_ls 1-u64max
CAPPED_DATA 1 lkb 1
DATA_SOURCE 1 lkb $0
STR_LEN 1 lkb->lkb_highbast (-1)
STR_LEN 1 lkb->lkb_rqmode (-1)
NOSPEC 1 lkb->lkb_rqmode
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 lkb->lkb_exflags 0-u32max[u]
USER_DATA 1 lkb->lkb_grmode 0-5[u]
USER_DATA 1 lkb->lkb_last_bast_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_last_cast_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_last_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_resource->res_hash 0-u32max
USER_DATA 1 lkb->lkb_resource->res_length 0-64[c]
USER_DATA 1 lkb->lkb_rqmode 0-5[u]
UNITS 0 ls unit_array_size
HALF_LOCKED2 &ls->ls_clear_proc_locks
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_orphans_lock
HALF_LOCKED2 &ls->ls_recoverd_active
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &ls->ls_requestqueue_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &proc->locks_spin
HALF_LOCKED2 &r->res_lock
HALF_LOCKED2 bh

fs/dlm/lock.c dlm_recover_master_copy() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_recover_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_status 4-u32max
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_timer.flags 0-4194302
PARAM_VALUE 0 ls->ls_scan_timer.function 0
PARAM_VALUE 0 ls->ls_slow_active.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_active.next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_active.next->prev 4096-ptr_max
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_astfn 0,5576085434078453760
PARAM_VALUE 1 lkb->lkb_bastfn 0,8394382215821885440
PARAM_VALUE 1 lkb->lkb_exflags 8-u32max
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter 1
CAPPED_DATA 0 ls->ls_global_id 1
CAPPED_DATA 0 ls->ls_lvblen 1
DATA_SOURCE 0 ls $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 &r->res_lock
LOCK2 bh
LOCK2 0 &ls->ls_recv_active
HALF_LOCKED2 global &nodes_srcu
TYPE_LOCK (struct dlm_ls)->ls_recv_active
TYPE_LOCK (struct dlm_rsb)->res_lock

fs/dlm/lock.c dlm_user_request() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_grmode (-1)-0
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-128)-127
PARAM_VALUE 1 lkb->lkb_nodeid s32min-s32max
PARAM_VALUE 1 lkb->lkb_ownqueue.next 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter s32min-s32max
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
CAPPED_DATA 1 lkb 1
DATA_SOURCE 0 ls $0
NOCHECK_CALL
USER_DATA 1 lkb->lkb_exflags 0-u32max[u]
USER_DATA 1 lkb->lkb_last_bast_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_last_cast_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_last_cb_mode 0-5[c]
USER_DATA 1 lkb->lkb_resource->res_hash 0-u32max
USER_DATA 1 lkb->lkb_resource->res_length 0-64[c]
USER_DATA 1 lkb->lkb_rqmode 0-5[u]
LOCK2 0 &ls->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_in_recovery

fs/dlm/lock.c receive_request() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_lvblen 1-s32max
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_requestqueue_lock.dep_map->name 0-255
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_astfn 0,5576085434078453760
PARAM_VALUE 1 lkb->lkb_bastfn 0,8394382215821885440
PARAM_VALUE 1 lkb->lkb_exflags 8-u32max
PARAM_VALUE 1 lkb->lkb_grmode (-1)
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_lvbptr 0
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter 1
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
DATA_SOURCE 0 ls $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ls->ls_slots_size
LOCK2 bh
LOCK2 0 &ls->ls_requestqueue_lock
HALF_LOCKED2 0 &ls->ls_recoverd_active
HALF_LOCKED2 0 &ls->ls_recv_active
TYPE_LOCK (struct dlm_ls)->ls_requestqueue_lock

fs/dlm/lock.c receive_request() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_requestqueue_lock.dep_map->name 0-255
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_astfn 0,5576085434078453760
PARAM_VALUE 1 lkb->lkb_bastfn 0,8394382215821885440
PARAM_VALUE 1 lkb->lkb_grmode (-1)
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_lvbptr 16,4096-ptr_max
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter 1
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
DATA_SOURCE 0 ls $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ls->ls_slots_size
LOCK2 bh
LOCK2 0 &ls->ls_requestqueue_lock
HALF_LOCKED2 0 &ls->ls_recoverd_active
HALF_LOCKED2 0 &ls->ls_recv_active
TYPE_LOCK (struct dlm_ls)->ls_requestqueue_lock

fs/dlm/lock.c receive_request() -> __put_lkb()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_lkbxa.xa_flags 4-u32max
PARAM_VALUE 0 ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner (-1)
PARAM_VALUE 0 ls->ls_lkbxa_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_lkbxa_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_requestqueue_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_timer.flags 0-4194302
PARAM_VALUE 0 ls->ls_scan_timer.function 0
PARAM_VALUE 0 ls->ls_slow_active.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_active.next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_active.next->prev 4096-ptr_max
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_astfn 0,5576085434078453760
PARAM_VALUE 1 lkb->lkb_bastfn 0,8394382215821885440
PARAM_VALUE 1 lkb->lkb_grmode (-1)
PARAM_VALUE 1 lkb->lkb_last_bast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cast_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_last_cb_mode (-1)
PARAM_VALUE 1 lkb->lkb_lvbptr 16,4096-ptr_max
PARAM_VALUE 1 lkb->lkb_ref.refcount.refs.counter 1
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
DATA_SOURCE 0 ls $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ls->ls_slots_size
LOCK2 0 &ls->ls_requestqueue_lock
HALF_LOCKED2 0 &ls->ls_recoverd_active
HALF_LOCKED2 0 &ls->ls_recv_active
TYPE_LOCK (struct dlm_ls)->ls_requestqueue_lock