Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ocfs2/dlm/dlmlock.c dlmlock_remote() -> dlm_revert_pending_lock()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->blocked.prev 4096-ptr_max
PARAM_VALUE 0 res->blocked.prev->next 4096-ptr_max
PARAM_VALUE 0 res->blocked.prev->next->next 4096-ptr_max
PARAM_VALUE 0 res->hash_node->pprev 4096-ptr_max
PARAM_VALUE 0 res->hash_node.pprev 1-u64max
PARAM_VALUE 0 res->owner 0-254
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->state 0-65519
PARAM_VALUE 0 res->wq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *res->lvb 0-255
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.next 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.next->next 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.prev 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.prev->next 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 lock->ast_pending 0
PARAM_VALUE 1 lock->astdata 4096-ptr_max
PARAM_VALUE 1 lock->bast_list.next 4096-ptr_max
PARAM_VALUE 1 lock->bast_list.next->next 4096-ptr_max
PARAM_VALUE 1 lock->bast_list.prev 4096-ptr_max
PARAM_VALUE 1 lock->bast_list.prev->next 4096-ptr_max
PARAM_VALUE 1 lock->bast_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 lock->bast_pending 0
PARAM_VALUE 1 lock->cancel_pending 0
PARAM_VALUE 1 lock->convert_pending 0
PARAM_VALUE 1 lock->list.next 4096-ptr_max
PARAM_VALUE 1 lock->list.next->next 4096-ptr_max
PARAM_VALUE 1 lock->list.prev->next 4096-ptr_max
PARAM_VALUE 1 lock->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 lock->lksb 4096-ptr_max
PARAM_VALUE 1 lock->lock_pending 0
PARAM_VALUE 1 lock->lockres 0,4096-ptr_max
PARAM_VALUE 1 lock->lockres->hash_node.pprev 1-u64max
PARAM_VALUE 1 lock->ml.convert_type (-1)
PARAM_VALUE 1 lock->ml.flags 0
PARAM_VALUE 1 lock->ml.highest_blocked (-1)
PARAM_VALUE 1 lock->ml.list 0
PARAM_VALUE 1 lock->ml.pad1 0
PARAM_VALUE 1 lock->unlock_pending 0
BUF_SIZE 1 lock->astdata (-1),128
CAPPED_DATA 0 res 1
CAPPED_DATA 0 res->owner 1
CAPPED_DATA 1 lock 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 lock $2
BIT_INFO 0 res->state 0x0,0xffef
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &res->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_move_lockres_to_recovery_list() -> dlm_revert_pending_lock()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->recovering.next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *res->lvb 0-255
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->convert_pending 0
PARAM_VALUE 1 lock->lock_pending 1
CAPPED_DATA 0 res->lockname.len 1
CAPPED_DATA 0 res->owner 1
CAPPED_DATA 0 &res->recovering 1
CAPPED_DATA 1 &lock->list 1
DATA_SOURCE 0 res $1
BIT_INFO 0 res->state 0x2,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
HALF_LOCKED2 global &o2hb_callback_sem
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock