sas_put_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/libsas/sas_internal.h, line 207 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/scsi/libsas/sas_expander.c sas_ex_discover_end_dev() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->hashed_sas_addr	4096-ptr_max
PARAM_VALUE	0	dev->kref.refcount.refs.counter	1
PARAM_VALUE	0	dev->parent	4096-ptr_max
PARAM_VALUE	0	dev->parent->ex_dev.ex_phy	4096-ptr_max
PARAM_VALUE	0	dev->parent->parent	0,4096-ptr_max
PARAM_VALUE	0	dev->parent->port	4096-ptr_max
PARAM_VALUE	0	dev->parent->port->ha->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->phy	4096-ptr_max
PARAM_VALUE	0	dev->phy->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->phy->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->phy_port_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->sas_addr	4096-ptr_max
BUF_SIZE	0	dev	576
CAPPED_DATA	0	dev->parent->ex_dev.num_phys	1
CAPPED_DATA	0	dev->port	1
DATA_SOURCE	0	dev	r sas_alloc_device
NOCHECK_CALL
HALF_LOCKED2		&ha->disco_mutex

drivers/scsi/libsas/sas_expander.c sas_ex_discover_expander() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_type	2-3
PARAM_VALUE	0	dev->ex_dev.children.next	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.children.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.children.prev	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.children.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.children.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.owner.counter	0
PARAM_VALUE	0	dev->hashed_sas_addr	4096-ptr_max
PARAM_VALUE	0	dev->lldd_dev	0-64,4096-ptr_max
PARAM_VALUE	0	dev->parent	4096-ptr_max
PARAM_VALUE	0	dev->parent->ex_dev.ex_phy	4096-ptr_max
PARAM_VALUE	0	dev->parent->parent	0,4096-ptr_max
PARAM_VALUE	0	dev->parent->port	4096-ptr_max
PARAM_VALUE	0	dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port->ha->lldd_ha	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->shost	4096-ptr_max
PARAM_VALUE	0	dev->port->lldd_port	4096-ptr_max
PARAM_VALUE	0	dev->rphy->identify.device_type	2-3
PARAM_VALUE	0	dev->sas_addr	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->ssp_dev.eh_list_node.next	4096-ptr_max
PARAM_VALUE	0	dev->ssp_dev.eh_list_node.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ssp_dev.eh_list_node.prev	4096-ptr_max
PARAM_VALUE	0	dev->ssp_dev.eh_list_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ssp_dev.eh_list_node.prev->prev	4096-ptr_max
BUF_SIZE	0	dev	576
BUF_SIZE	0	dev->rphy	(-1),1680
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->parent->ex_dev.num_phys	1
CAPPED_DATA	0	dev->port	1
DATA_SOURCE	0	dev	r sas_alloc_device
NOCHECK_CALL
HALF_LOCKED2		&ha->disco_mutex

drivers/scsi/libsas/sas_ata.c async_sas_ata_eh() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->excl_link	0
PARAM_VALUE	0	dev->sata_dev.ap->host	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	dev->sata_dev.ap->host->eh_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->sata_dev.ap->hotplug_task.timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->link.ap->link.device->link->active_tag	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.ap->link.device->link->sactive	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->lock	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->lock->rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->sata_dev.ap->nr_active_links	0
PARAM_VALUE	0	dev->sata_dev.ap->ops	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->ops->end_eh	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->ops->lost_interrupt	0,4096-ptr_max,(-2)
PARAM_VALUE	0	dev->sata_dev.ap->ops->sff_irq_clear	0,4096-ptr_max,(-2)
PARAM_VALUE	0	dev->sata_dev.ap->pflags	0,4-u32max
PARAM_VALUE	0	dev->sata_dev.ap->scsi_host->ehandler->delays->blkio_count	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->scsi_host->ehandler->delays->blkio_delay_max	0-s64max
PARAM_VALUE	0	dev->sata_dev.ap->scsi_host->ehandler->delays->blkio_delay_min	0-s64max
PARAM_VALUE	0	dev->sata_dev.ap->scsi_host->ehandler->sched_task_group->idle	s32min-s32max
BUF_SIZE	0	dev	(-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE	0	dev	(-1)-0,16,24,56,64,120,1616,7104
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/scsi/libsas/sas_discover.c sas_discover_domain() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_list_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev_list_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev_type	1-3,5,7
PARAM_VALUE	0	dev->disco_list_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->disco_list_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.owner.counter	0
PARAM_VALUE	0	dev->iproto	0-255
PARAM_VALUE	0	dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port->port_dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->rphy	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.parent->parent	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->tproto	0-255
PARAM_VALUE	0	*dev->ex_dev.enclosure_logical_id	0-255
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->port	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dev->rphy->q->async_depth
NO_OVERFLOW_SIMPLE	0	dev->rphy->q->limits.max_open_zones
NO_OVERFLOW_SIMPLE	0	dev->rphy->q->nr_requests

drivers/scsi/libsas/sas_discover.c sas_free_device() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/libsas/sas_discover.c sas_get_port_device() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->kref.refcount.refs.counter	1
BUF_SIZE	0	dev	576
DATA_SOURCE	0	dev	r sas_alloc_device
NOCHECK_CALL

drivers/scsi/libsas/sas_discover.c sas_get_port_device() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->frame_rcvd	4096-ptr_max
PARAM_VALUE	0	dev->kref.refcount.refs.counter	1
BUF_SIZE	0	dev	576
DATA_SOURCE	0	dev	r sas_alloc_device
NOCHECK_CALL

drivers/scsi/libsas/sas_discover.c sas_get_port_device() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_type	0-7
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.first_waiter	0
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.osq.tail.counter	0
PARAM_VALUE	0	dev->ex_dev.cmd_mutex.owner.counter	0
PARAM_VALUE	0	dev->frame_rcvd	4096-ptr_max
PARAM_VALUE	0	dev->iproto	0-255
PARAM_VALUE	0	dev->kref.refcount.refs.counter	1
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->oob_mode	1-2
PARAM_VALUE	0	dev->port->port_dev	0
PARAM_VALUE	0	dev->tproto	0-255
BUF_SIZE	0	dev	576
DATA_SOURCE	0	dev	r sas_alloc_device
FUZZY_MAX	0	dev->tproto	1
NOCHECK_CALL

drivers/scsi/libsas/sas_discover.c sas_notify_lldd_dev_gone() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port->ha->shost	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->rphy->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
BUF_SIZE	0	dev	(-1),576
BUF_SIZE	0	dev	(-1),576
BUF_SIZE	0	dev->rphy	(-1),1680
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->lldd_dev	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dev->rphy->q->limits.max_open_zones

drivers/scsi/libsas/sas_discover.c sas_unregister_common_dev() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_list_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev_list_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->lldd_dev	0,4096-ptr_max
PARAM_VALUE	0	dev->lldd_dev->attached_phy	0
PARAM_VALUE	0	dev->lldd_dev->completion	2555925035268194304,4973624124818329600
PARAM_VALUE	0	dev->lldd_dev->completion->done	0-4294967293,4294967295
PARAM_VALUE	0	dev->lldd_dev->completion->wait.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->lldd_dev->completion->wait.lock.owner	(-1)
PARAM_VALUE	0	dev->lldd_dev->completion->wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->lldd_dev->dcompletion	0
PARAM_VALUE	0	dev->lldd_dev->dev_entry.next	0
PARAM_VALUE	0	dev->lldd_dev->dev_entry.prev	0
PARAM_VALUE	0	dev->lldd_dev->dev_status	0
PARAM_VALUE	0	dev->lldd_dev->dev_type	0
PARAM_VALUE	0	dev->lldd_dev->device_id	2048
PARAM_VALUE	0	dev->lldd_dev->id	0
PARAM_VALUE	0	dev->lldd_dev->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->lldd_dev->mvi_info	0
PARAM_VALUE	0	dev->lldd_dev->mvi_info->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->lldd_dev->reserved	0
PARAM_VALUE	0	dev->lldd_dev->running_req	0
PARAM_VALUE	0	dev->lldd_dev->running_req.counter	0
PARAM_VALUE	0	dev->lldd_dev->sas_device	0
PARAM_VALUE	0	dev->lldd_dev->setds_completion	0
PARAM_VALUE	0	dev->lldd_dev->taskfileset	127
PARAM_VALUE	0	dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->parent->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ha	4096-ptr_max
PARAM_VALUE	0	dev->port->ha->shost	4096-ptr_max
PARAM_VALUE	0	dev->rphy	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->rphy->dev.parent->parent	4096-ptr_max
PARAM_VALUE	0	dev->rphy->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->tdev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->siblings.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->siblings.prev->next	4096-ptr_max
CAPPED_DATA	0	dev	1
CAPPED_DATA	0	dev->port	1
CAPPED_DATA	0	&dev->ssp_dev.eh_list_node	1
DATA_SOURCE	0	dev	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dev->rphy->q->nr_hw_queues

drivers/scsi/libsas/sas_scsi_host.c sas_eh_handle_resets() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->sata_dev.ap->link.ap->link.device->link->active_tag	0-4294967295
PARAM_VALUE	0	dev->sata_dev.ap->link.ap->link.device->link->sactive	0-4294967295
CAPPED_DATA	0	dev	1
NOCHECK_CALL

drivers/scsi/libsas/sas_scsi_host.c sas_target_destroy() -> sas_put_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	1-u64max
BUF_SIZE	0	dev	16,24,48,56,64
BUF_SIZE	0	dev	16,24,48,56,64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2		shost->host_lock
HALF_LOCKED2		&shost->scan_mutex
HALF_LOCKED2		_T->lock