Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/dlm/dlmmaster.c dlm_migrate_lockres() -> dlm_remove_nonlocal_locks()

Type Parameter Key Value
PARAM_VALUE 0 dlm 4096-ptr_max
PARAM_VALUE 0 dlm->dirty_list.prev 4096-ptr_max
PARAM_VALUE 0 dlm->dlm_state 2
PARAM_VALUE 0 dlm->dlm_worker->flush_color s32min-s32max
PARAM_VALUE 0 dlm->dlm_worker->work_color s32min-s32max
PARAM_VALUE 0 dlm->domain_map 4096-ptr_max
PARAM_VALUE 0 dlm->lockres_hash 4096-ptr_max
PARAM_VALUE 0 dlm->master_hash 4096-ptr_max
PARAM_VALUE 0 dlm->master_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dlm->mle_hb_events.prev 4096-ptr_max
PARAM_VALUE 0 dlm->mle_hb_events.prev->next 4096-ptr_max
PARAM_VALUE 0 dlm->mle_hb_events.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dlm->num_joins 0
PARAM_VALUE 0 dlm->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->dirty.next 4096-ptr_max
PARAM_VALUE 1 res->owner 0-254
PARAM_VALUE 1 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res->state 0-61407
BUF_SIZE 0 dlm 8,1560
BUF_SIZE 0 dlm 8,1560
CAPPED_DATA 0 dlm 1
CAPPED_DATA 0 dlm->node_num 1
DATA_SOURCE 0 dlm $0
DATA_SOURCE 1 res $1
BIT_INFO 1 res->state 0x0,0xffdf
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &res->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock