Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/ocfs2/dlm/dlmconvert.c __dlmconvert_master() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->converting.prev 4096-ptr_max
PARAM_VALUE 0 res->converting.prev->next 4096-ptr_max
PARAM_VALUE 0 res->converting.prev->next->next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1
BIT_INFO 0 res->state 0x10,0xffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmconvert.c dlmconvert_remote() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1
BIT_INFO 0 res->state 0x0,0xfffd
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &fp->fp_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmthread.c __dlm_do_purge_lockres() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->purge.next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->state 64-u16max
CAPPED_DATA 0 res->lockname.len 1
CAPPED_DATA 0 &res->purge 1
DATA_SOURCE 0 res $1
BIT_INFO 0 res->state 0x40,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmthread.c __dlm_do_purge_lockres() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->hash_node.pprev 0
PARAM_VALUE 0 res->purge.next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->state 64-u16max
PARAM_VALUE 0 res->tracking.next 4096-ptr_max
CAPPED_DATA 0 res->lockname.len 1
CAPPED_DATA 0 &res->purge 1
CAPPED_DATA 0 &res->tracking 1
DATA_SOURCE 0 res $1
PARAM_COMPARE 0 &res->tracking == $0->tracking.next
BIT_INFO 0 res->state 0x40,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 &dlm->track_lock
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_ctxt)->track_lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmthread.c dlm_purge_lockres() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->converting.next 4096-ptr_max
PARAM_VALUE 0 res->granted.next 4096-ptr_max
PARAM_VALUE 0 res->inflight_assert_workers 0
PARAM_VALUE 0 res->purge.next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
CAPPED_DATA 0 res->owner 1
CAPPED_DATA 0 &res->purge 1
DATA_SOURCE 0 res $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmthread.c dlm_purge_lockres() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->converting.next 4096-ptr_max
PARAM_VALUE 0 res->granted.next 4096-ptr_max
PARAM_VALUE 0 res->hash_node.pprev 0
PARAM_VALUE 0 res->inflight_assert_workers 0
PARAM_VALUE 0 res->purge.next 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->tracking.next 4096-ptr_max
CAPPED_DATA 0 res->owner 1
CAPPED_DATA 0 &res->purge 1
CAPPED_DATA 0 &res->tracking 1
DATA_SOURCE 0 res $1
PARAM_COMPARE 0 &res->tracking == $0->tracking.next
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 &dlm->track_lock
LOCK2 0 &res->spinlock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_ctxt)->track_lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmthread.c dlm_thread() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &dlm->ast_lock
LOCK2 0 &res->spinlock
TYPE_LOCK (struct dlm_ctxt)->ast_lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmdebug.c dlm_print_one_lock_resource() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
BUF_SIZE 0 res->dlm (-1),8,1560
DATA_SOURCE 0 res $0
STR_LEN 0 res->dlm (-1),9
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmmaster.c __dlm_lockres_reserve_ast() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->state 32-u16max
CAPPED_DATA 0 res 1
DATA_SOURCE 0 res $0
BIT_INFO 0 res->state 0x20,0xffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &dlm->ast_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmmaster.c dlm_assert_master_handler() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->lockname.name 4096-ptr_max
PARAM_VALUE 0 res->owner 0-254
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
CAPPED_DATA 0 res->lockname.len 1
DATA_SOURCE 0 res r __dlm_lookup_lockres
BIT_INFO 0 res->state 0x0,0xfffd
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmmaster.c dlm_assert_master_handler() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->lockname.name 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
CAPPED_DATA 0 res->lockname.len 1
DATA_SOURCE 0 res r __dlm_lookup_lockres
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_free_dead_locks() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->refmap 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *res->lvb 0-255
CAPPED_DATA 0 res->lockname.len 1
CAPPED_DATA 0 res->owner 1
CAPPED_DATA 0 &res->blocked 1
CAPPED_DATA 0 &res->converting 1
CAPPED_DATA 0 &res->granted 1
DATA_SOURCE 0 res $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 &dlm->spinlock
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &o2hb_callback_sem
TYPE_LOCK (struct dlm_ctxt)->spinlock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_process_recovery_data() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1 [m]
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_process_recovery_data() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1 [m]
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_process_recovery_data() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1 [m]
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock

fs/ocfs2/dlm/dlmrecovery.c dlm_process_recovery_data() -> __dlm_print_one_lock_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->spinlock.rlock.dep_map->name 0-255
DATA_SOURCE 0 res $1 [m]
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &res->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlm_lock_resource)->spinlock