Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md-cluster.c __sendmsg() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->mode 2,5
PARAM_VALUE 0 res->name 4096-ptr_max
PARAM_VALUE 0 res->sync_locking_done 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/md-cluster.c __sendmsg() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner (-1)
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner_cpu 4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.raw_lock.wlocked 0
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->mode 2,5
PARAM_VALUE 0 res->name 4096-ptr_max
PARAM_VALUE 0 res->sync_locking_done 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/md-cluster.c join() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,4-u32max
PARAM_VALUE 0 res->lksb.sb_status 0
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner (-1)
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner_cpu 4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.raw_lock.wlocked 0
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_timer.flags 0-4294967295
PARAM_VALUE 0 res->mddev 4096-ptr_max
PARAM_VALUE 0 res->mddev->bitmap_info.chunksize 512-u32max
PARAM_VALUE 0 res->mddev->bitmap_ops 4096-ptr_max
PARAM_VALUE 0 res->mddev->cluster_info 4096-ptr_max
PARAM_VALUE 0 res->mddev->cluster_ops 4096-ptr_max
PARAM_VALUE 0 res->mode 5
PARAM_VALUE 0 res->name 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.next->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 res->sync_locking_done 0
BUF_SIZE 0 res 168
BUF_SIZE 0 res->mddev (-1),24,136,760,4096,4112
DATA_SOURCE 0 res r lockres_init
BIT_INFO 0 res->flags 0x4,0xffffffffffffffff
NOSPEC 0 res->mddev->bitmap_info.offset
NOSPEC 0 res->mddev->resync_max_sectors
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 res->mddev->array_sectors 0-4294967294[c]
USER_DATA 0 res->mddev->bitmap_info.offset s64min-(-1),1-s64max[c]
USER_DATA 0 res->mddev->dev_sectors 0-4294967294[c]
USER_DATA 0 res->mddev->resync_max_sectors 0-4294967294[c]
NO_OVERFLOW_SIMPLE 0 res->mddev->bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 res->mddev->bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 res->mddev->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 res->mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 res->mddev->raid_disks
NO_OVERFLOW_SIMPLE 0 res->mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 res->mddev->sync_set.bvec_pool.min_nr
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/md-cluster.c new_disk_ack() -> dlm_unlock_sync()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &mddev->reconfig_mutex
TYPE_LOCK (struct mddev)->reconfig_mutex

drivers/md/md-cluster.c process_metadata_update() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->lksb.sb_status (-65538)-(-65537),(-35),(-11),0
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_timer.flags 0-4294967295
PARAM_VALUE 0 res->name 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cinfo->recv_mutex
TYPE_LOCK (struct md_cluster_info)->recv_mutex

drivers/md/md-cluster.c read_resync_info() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->lksb.sb_lvbptr 4096-ptr_max
PARAM_VALUE 0 res->lksb.sb_status (-65538)-(-65537),(-35),(-11),0
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner (-1)
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.owner_cpu 4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_timer.flags 0-4294967295
PARAM_VALUE 0 res->mddev 4096-ptr_max
PARAM_VALUE 0 res->mddev->cluster_info 4096-ptr_max
PARAM_VALUE 0 res->mode 0-1
PARAM_VALUE 0 res->name 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.next->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 res->sync_locking_done 0
BUF_SIZE 0 res 168
DATA_SOURCE 0 res $1
BIT_INFO 0 res->flags 0x5,0xffffffffffffffff
NOSPEC 0 res->mddev->bitmap_info.offset
NOSPEC 0 res->mddev->resync_max_sectors
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 res->mddev->array_sectors 0-4294967294[c]
USER_DATA 0 res->mddev->bitmap_info.offset s64min-(-1),1-s64max[c]
USER_DATA 0 res->mddev->dev_sectors 0-4294967294[c]
USER_DATA 0 res->mddev->resync_max_sectors 0-4294967294[c]
NO_OVERFLOW_SIMPLE 0 res->mddev->raid_disks
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/md-cluster.c recv_daemon() -> dlm_unlock_sync()

Type Parameter Key Value
TASK_NOT_RUNNING
LOCK2 &cinfo->recv_mutex
TYPE_LOCK (struct md_cluster_info)->recv_mutex

drivers/md/md-cluster.c recv_daemon() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->lksb.sb_status (-65538)-(-65537),(-35),(-11),0
PARAM_VALUE 0 res->ls 4096-ptr_max
PARAM_VALUE 0 res->ls->ls_count.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->handoff_set 1
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 res->ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 res->ls->ls_lkbxa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_lkbxa_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.nelems.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->nest 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl.tbl->size 0-4294967295
PARAM_VALUE 0 res->ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 res->ls->ls_scan_timer.flags 0-4294967295
PARAM_VALUE 0 res->mode 1,3
PARAM_VALUE 0 res->name 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 res->sync_locking_done 0
TASK_NOT_RUNNING
LOCK2 &cinfo->recv_mutex
TYPE_LOCK (struct md_cluster_info)->recv_mutex

drivers/md/md-cluster.c resync_finish() -> dlm_unlock_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mddev->reconfig_mutex
TYPE_LOCK (struct mddev)->reconfig_mutex

drivers/md/md-cluster.c unlock_comm() -> dlm_unlock_sync()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->reconfig_mutex