Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ocfs2/dlm/dlmast.c dlm_proxy_ast_handler() -> dlm_do_local_ast()

Type Parameter Key Value
PARAM_VALUE 0 dlm 4096-ptr_max
PARAM_VALUE 0 dlm->dlm_state 1-2
PARAM_VALUE 0 dlm->lockres_hash 4096-ptr_max
PARAM_VALUE 0 dlm->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->granted.prev 4096-ptr_max
PARAM_VALUE 1 res->granted.prev->next 4096-ptr_max
PARAM_VALUE 1 res->granted.prev->next->next 4096-ptr_max
PARAM_VALUE 1 res->lockname.name 4096-ptr_max
PARAM_VALUE 1 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 2 lock 4096-ptr_max
PARAM_VALUE 2 lock->list.next 4096-ptr_max
PARAM_VALUE 2 lock->list.next->prev 4096-ptr_max
PARAM_VALUE 2 lock->list.prev->next 4096-ptr_max
PARAM_VALUE 2 lock->lksb 4096-ptr_max
PARAM_VALUE 2 lock->lksb->status 0
PARAM_VALUE 2 lock->ml.convert_type (-1)
BUF_SIZE 0 dlm 720
BUF_SIZE 0 dlm 720
CAPPED_DATA 0 dlm 1
CAPPED_DATA 1 res->lockname.len 1
CAPPED_DATA 2 lock->ml.cookie 1
CAPPED_DATA 2 &lock->list 1
DATA_SOURCE 0 dlm $2
DATA_SOURCE 1 res r dlm_lookup_lockres
PARAM_COMPARE 0 dlm->node_num != $1->owner
BIT_INFO 1 res->state 0x0,0xffdd
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ocfs2/dlm/dlmthread.c dlm_flush_asts() -> dlm_do_local_ast()

Type Parameter Key Value
PARAM_VALUE 0 dlm 4096-ptr_max
PARAM_VALUE 0 dlm->ast_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dlm->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 2 lock 4096-ptr_max
PARAM_VALUE 2 lock->ast_pending 1
BUF_SIZE 0 dlm 128
BUF_SIZE 0 dlm 128
CAPPED_DATA 0 dlm->node_num 1
CAPPED_DATA 0 &dlm->pending_asts 1
CAPPED_DATA 2 lock->ml.node 1
DATA_SOURCE 0 dlm $0
PARAM_COMPARE 0 dlm->node_num == $2->ml.node
PARAM_COMPARE 0 &dlm->pending_asts != $0->pending_asts.next
NOCHECK_CALL