__rbd_release_lock identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/rbd.c, line 4218 (as a function)

Referenced in 1 files:

drivers/block/rbd.c

Smatch caller information:

drivers/block/rbd.c rbd_dev_image_unlock() -> __rbd_release_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev->p->knode_bus.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev->p->knode_class.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev->p->knode_driver.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev->p->knode_parent.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.driver_data->ops_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev.driver_data->ops_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rbd_dev->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.groups	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.kobj.parent	0
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.kobj.parent->sd	0
PARAM_VALUE	0	rbd_dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.p->dead	0-1
PARAM_VALUE	0	rbd_dev->dev.p->deferred_probe_reason	0
PARAM_VALUE	0	rbd_dev->dev.p->knode_class->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev.p->knode_class.n_klist	0
PARAM_VALUE	0	rbd_dev->dev.p->knode_driver.n_klist	0
PARAM_VALUE	0	rbd_dev->dev.p->knode_driver.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->dev.p->knode_parent->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->dev.p->knode_parent.n_klist	0
PARAM_VALUE	0	rbd_dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rbd_dev->dev.type->groups	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->bdi->cgwb_release_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->bdi->cgwb_release_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->d_parent->d_lockref.count	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_rcu.func	1-u64max
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	rbd_dev->disk->bdi->debug_dir->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	rbd_dev->disk->bdi->wb.bw_dwork.timer.lockdep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->bdi->wb.dwork.timer.lockdep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->bdi->wb.work_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->error_injection_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->ev->block	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->ev->block_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->ev->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->ia_ranges->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->open_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->open_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->open_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->device_count	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->dead	0-1
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->knode_class->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->knode_parent->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.completion.done	u32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.qos	0,(-19)
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.runtime_status	2
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.usage_count.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_device.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->part0->bd_holder_dir->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_holder_dir->release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->part0->bd_holder_dir->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->queue	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->crypto_kobject->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	rbd_dev->disk->queue->debugfs_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->elevator->sysfs_lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->queue->elevator_lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->queue->mq_freeze_lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rbd_dev->disk->queue->mq_kobj->entry.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->mq_kobj->parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->mq_kobj->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->queue->mq_ops	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->rq_qos_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->rq_qos_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->queue->rq_qos_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rbd_dev->disk->queue->rq_qos_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->rq_qos_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	rbd_dev->disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	rbd_dev->disk->queue->stats->accounting	s32min-s32max
PARAM_VALUE	0	rbd_dev->disk->queue->sysfs_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->sysfs_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->sysfs_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->srcu->srcu_sup->lock.owner	0,(-1)
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->srcu->srcu_sup->lock.owner_cpu	0,u32max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->srcu->srcu_sup->work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->srcu->srcu_sup->work.work.entry.prev->prev	2076614606316732416
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->tag_list_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->tag_list_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.magic	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.magic	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.magic	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->disk->queue->tag_set->update_nr_hwq_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->disk->queue->timeout.lockdep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue->unused_hctx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->disk->queue_kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue_kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->queue_kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->slave_dir	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->entry.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->entry.next->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->kref.refcount.refs.counter	1
PARAM_VALUE	0	rbd_dev->disk->slave_dir->kset->list.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->kset->list.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->kset->list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->ktype	1915817945436012544
PARAM_VALUE	0	rbd_dev->disk->slave_dir->ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	rbd_dev->disk->slave_dir->ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	rbd_dev->disk->slave_dir->sd	4096-ptr_max
PARAM_VALUE	0	rbd_dev->disk->slave_dir->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->disk->slave_dir->state_in_sysfs	1
PARAM_VALUE	0	rbd_dev->disk->slave_dir->state_initialized	1
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_dwork.work.lockdep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->lock_state	1-2
PARAM_VALUE	0	rbd_dev->node.prev->next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->unlock_work.lockdep_map->name	0-255
PARAM_VALUE	0	*rbd_dev->disk->bdi->dev->parent->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	*rbd_dev->disk->bdi->dev_name	0-255
PARAM_VALUE	0	*rbd_dev->disk->queue->sched_debugfs_dir->d_inode->i_hash.next->pprev	1-u64max
BUF_SIZE	0	rbd_dev	(-1),4144
BUF_SIZE	0	rbd_dev	(-1),4144
CAPPED_DATA	0	&rbd_dev->lock_rwsem	1
CAPPED_DATA	0	&rbd_dev->unlock_work	1
DATA_SOURCE	0	rbd_dev	$0
CAPABLE	0	21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	rbd_dev->header.snapc->seq	0-u64max
USER_DATA	0	rbd_dev->watch_handle->ping_req->r_reply->con->v2.in_cursor.resid	0-u64max
USER_DATA	0	rbd_dev->watch_handle->ping_req->r_request->con->v2.out_cursor.resid	0-u64max
USER_DATA	0	rbd_dev->watch_handle->ping_req->r_request->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
USER_DATA	0	rbd_dev->watch_handle->reg_req->r_reply->con->v2.in_cursor.resid	0-u64max
USER_DATA	0	rbd_dev->watch_handle->reg_req->r_request->con->v2.out_cursor.resid	0-u64max
USER_DATA	0	rbd_dev->watch_handle->reg_req->r_request->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE	0	rbd_dev->tag_set.queue_depth
LOCK2		&of->mutex
LOCK2	0	&rbd_dev->lock_rwsem
HALF_LOCKED2		&of->prealloc_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct kernfs_open_file)->mutex
TYPE_LOCK		(struct rbd_device)->lock_rwsem

drivers/block/rbd.c rbd_reacquire_lock() -> __rbd_release_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->lock_cookie	4096-ptr_max
PARAM_VALUE	0	rbd_dev->lock_rwsem.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_state	2
PARAM_VALUE	0	rbd_dev->opts	4096-ptr_max
PARAM_VALUE	0	rbd_dev->quiescing_wait.done	0-4294967293,u32max
PARAM_VALUE	0	rbd_dev->rbd_client	4096-ptr_max
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.osdmap->max_osd	1-u32max
PARAM_VALUE	0	rbd_dev->watch_handle	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->data	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->errcb	1413625559729684480
PARAM_VALUE	0	rbd_dev->watch_handle->is_watch	1
PARAM_VALUE	0	rbd_dev->watch_handle->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->watch_handle->mtime.tv_nsec	0-999999999
PARAM_VALUE	0	rbd_dev->watch_handle->node.__rb_parent_color	1
PARAM_VALUE	0	rbd_dev->watch_handle->node.rb_left	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->node.rb_right	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.magic	3735899821
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_id	0
PARAM_VALUE	0	rbd_dev->watch_handle->osd	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.__rb_parent_color	1
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.rb_left	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.rb_right	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->pending_lworks.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->pending_lworks.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.done	0-4294967293,u32max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_req	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->scan_item.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->scan_item.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->t.acting.primary	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.acting.size	0
PARAM_VALUE	0	rbd_dev->watch_handle->t.flags	32
PARAM_VALUE	0	rbd_dev->watch_handle->t.last_force_resend	1-u32max
PARAM_VALUE	0	rbd_dev->watch_handle->t.min_size	(-1)-255
PARAM_VALUE	0	rbd_dev->watch_handle->t.osd	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.size	(-1)-255
PARAM_VALUE	0	rbd_dev->watch_handle->t.spgid.pgid.seed	0-2147483646
PARAM_VALUE	0	rbd_dev->watch_handle->t.spgid.shard	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.target_oloc.pool	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.up.primary	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.up.size	0
PARAM_VALUE	0	rbd_dev->watch_handle->wcb	7781559158959595520
PARAM_VALUE	0	rbd_dev->watch_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_state	1
DATA_SOURCE	0	rbd_dev	$0
NOCHECK_CALL
LOCK2	0	&rbd_dev->lock_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct rbd_device)->lock_rwsem

drivers/block/rbd.c rbd_release_lock() -> __rbd_release_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->lock_rwsem.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_state	2
PARAM_VALUE	0	rbd_dev->quiescing_wait.done	0-4294967293,u32max
DATA_SOURCE	0	rbd_dev	$0
NOCHECK_CALL
LOCK2	0	&rbd_dev->lock_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct rbd_device)->lock_rwsem