Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/dlm/dlmast.c __dlm_queue_ast() -> dlm_should_cancel_bast()

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 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->ast_list.next 4096-ptr_max
PARAM_VALUE 1 lock->list.next 4096-ptr_max
PARAM_VALUE 1 lock->lksb->status 0
PARAM_VALUE 1 lock->spinlock.rlock.dep_map->name 0-255
BUF_SIZE 0 dlm (-1),8,128,720,1560
BUF_SIZE 0 dlm (-1),8,128,720,1560
CAPPED_DATA 0 dlm 1
CAPPED_DATA 1 lock 1
CAPPED_DATA 1 &lock->ast_list 1
DATA_SOURCE 0 dlm $0
DATA_SOURCE 1 lock $1
STR_LEN 0 dlm (-1),9
STR_LEN 0 dlm (-1),9
PARAM_COMPARE 1 &lock->ast_list == $1->ast_list.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dlm->ast_lock
LOCK2 1 &lock->spinlock
HALF_LOCKED2 &res->spinlock
TYPE_LOCK (struct dlm_ctxt)->ast_lock
TYPE_LOCK (struct dlm_lock)->spinlock