il_txq_update_write_ptr identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/wireless/intel/iwlegacy/common.h, line 1762 (as a prototype)

Defined in 1 files as a function:

drivers/net/wireless/intel/iwlegacy/common.c, line 2710 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_tx_skb() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->cfg->fw_name_pre	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops	4096-ptr_max
PARAM_VALUE	0	il->ops->commit_rxon	4096-ptr_max
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->rxon_assoc	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	il->pci_dev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	il->pci_dev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PARAM_VALUE	1	txq->cmd	4096-ptr_max
PARAM_VALUE	1	txq->meta	4096-ptr_max
PARAM_VALUE	1	txq->need_update	0-1
PARAM_VALUE	1	txq->q.write_ptr	0-s32max
PARAM_VALUE	1	txq->skbs	4096-ptr_max
CAPPED_DATA	0	&il->pci_dev->dev	1
DATA_SOURCE	0	il	$0
FUZZY_MAX	1	txq->need_update	1
HARD_MAX	1	txq->need_update	1
PREEMPT_ADD			<- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		&local->handle_wake_tx_queue_lock
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/3945-mac.c il3945_tx_skb() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->cfg->fw_name_pre	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->mac80211_registered	1-255
PARAM_VALUE	0	il->ops	4096-ptr_max
PARAM_VALUE	0	il->ops->commit_rxon	4096-ptr_max
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->rxon_assoc	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	il->pci_dev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	il->pci_dev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PARAM_VALUE	1	txq->cmd	4096-ptr_max
PARAM_VALUE	1	txq->meta	4096-ptr_max
PARAM_VALUE	1	txq->need_update	1
PARAM_VALUE	1	txq->q.write_ptr	0-s32max
PARAM_VALUE	1	txq->skbs	4096-ptr_max
CAPPED_DATA	0	&il->pci_dev->dev	1
DATA_SOURCE	0	il	$0
PREEMPT_ADD			<- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		&local->handle_wake_tx_queue_lock
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/4965-mac.c il4965_irq_tasklet() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params->restart_fw	1
PARAM_VALUE	0	il->hw_params.max_txq_num	1-255
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->rxq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->rxq.need_update	0
PARAM_VALUE	0	il->rxq.write_actual	0,8-u32max
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh

drivers/net/wireless/intel/iwlegacy/4965-mac.c il4965_tx_skb() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->cfg->fw_name_pre	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params	4096-ptr_max
PARAM_VALUE	0	il->ops	4096-ptr_max
PARAM_VALUE	0	il->ops->build_addsta_hcmd	4096-ptr_max
PARAM_VALUE	0	il->ops->commit_rxon	4096-ptr_max
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->rxon_assoc	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	il->sta_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PARAM_VALUE	1	txq->cmd	4096-ptr_max
PARAM_VALUE	1	txq->meta	4096-ptr_max
PARAM_VALUE	1	txq->need_update	0-1
PARAM_VALUE	1	txq->q.write_ptr	0-s32max
PARAM_VALUE	1	txq->skbs	4096-ptr_max
CAPPED_DATA	0	&il->pci_dev->dev	1
DATA_SOURCE	0	il	$0
FUZZY_MAX	1	txq->need_update	1
HARD_MAX	1	txq->need_update	1
PREEMPT_ADD			<- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		&local->handle_wake_tx_queue_lock
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/4965-mac.c il4965_tx_skb() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->cfg->fw_name_pre	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params	4096-ptr_max
PARAM_VALUE	0	il->hw	4096-ptr_max
PARAM_VALUE	0	il->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->mac80211_registered	1-255
PARAM_VALUE	0	il->ops	4096-ptr_max
PARAM_VALUE	0	il->ops->build_addsta_hcmd	4096-ptr_max
PARAM_VALUE	0	il->ops->commit_rxon	4096-ptr_max
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->rxon_assoc	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	il->sta_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PARAM_VALUE	1	txq->cmd	4096-ptr_max
PARAM_VALUE	1	txq->meta	4096-ptr_max
PARAM_VALUE	1	txq->need_update	1
PARAM_VALUE	1	txq->q.write_ptr	0-s32max
PARAM_VALUE	1	txq->skbs	4096-ptr_max
CAPPED_DATA	0	&il->pci_dev->dev	1
DATA_SOURCE	0	il	$0
PREEMPT_ADD			<- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&il->lock
HALF_LOCKED2		&local->handle_wake_tx_queue_lock
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct il_priv)->lock

drivers/net/wireless/intel/iwlegacy/common.c il_enqueue_hcmd() -> il_txq_update_write_ptr()

Type	Parameter	Key	Value
PARAM_VALUE	0	il	4096-ptr_max
PARAM_VALUE	0	il->_4965.wep_keys->key_idx	0-3
PARAM_VALUE	0	il->_4965.wep_keys->key_offset	0-3,255
PARAM_VALUE	0	il->cfg->fw_name_pre	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params	4096-ptr_max
PARAM_VALUE	0	il->cfg->mod_params->restart_fw	1
PARAM_VALUE	0	il->cfg->mod_params->sw_crypto	0-1
PARAM_VALUE	0	il->cfg->num_of_queues	0,5,16
PARAM_VALUE	0	il->cfg->ucode_api_max	2
PARAM_VALUE	0	il->cfg->ucode_api_min	1-2
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_cck	200
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_cck_mrc	400
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_ofdm	120
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_ofdm_mrc	210
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_ofdm_mrc_x1	270
PARAM_VALUE	0	il->hw_params.sens->auto_corr_max_ofdm_x1	140
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_cck	125
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_cck_mrc	200
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_ofdm	85
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_ofdm_mrc	170
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_ofdm_mrc_x1	220
PARAM_VALUE	0	il->hw_params.sens->auto_corr_min_ofdm_x1	105
PARAM_VALUE	0	il->hw_params.sens->barker_corr_th_min	190
PARAM_VALUE	0	il->hw_params.sens->barker_corr_th_min_mrc	390
PARAM_VALUE	0	il->hw_params.sens->min_nrg_cck	97
PARAM_VALUE	0	il->hw_params.sens->nrg_th_cca	62
PARAM_VALUE	0	il->hw_params.sens->nrg_th_cck	100
PARAM_VALUE	0	il->hw_params.sens->nrg_th_ofdm	100
PARAM_VALUE	0	il->led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	il->led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	il->led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	il->ops	4096-ptr_max
PARAM_VALUE	0	il->ops->build_addsta_hcmd	4096-ptr_max
PARAM_VALUE	0	il->ops->commit_rxon	4096-ptr_max
PARAM_VALUE	0	il->ops->dump_fh	0,4096-ptr_max
PARAM_VALUE	0	il->ops->dump_nic_error_log	4096-ptr_max
PARAM_VALUE	0	il->ops->rxon_assoc	4096-ptr_max
PARAM_VALUE	0	il->ops->send_tx_power	2340186999782096896,7922217801946570752
PARAM_VALUE	0	il->ops->set_channel_switch	0,5470171328822419456
PARAM_VALUE	0	il->ops->set_rxon_chain	0,588518023954317312
PARAM_VALUE	0	il->ops->txq_update_byte_cnt_tbl	0,1057423764171952128
PARAM_VALUE	0	il->ops->update_bcast_stations	0,1870207036806688768
PARAM_VALUE	0	il->ops->update_chain_flags	0,3712571723819651072
PARAM_VALUE	0	il->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	il->pci_dev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	il->pci_dev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	il->pci_dev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	il->stations->keyinfo.cipher	0,1027073-1027074,1027076-1027077
PARAM_VALUE	0	il->stations->keyinfo.keylen	0-255
PARAM_VALUE	0	il->stations->sta.add_immediate_ba_ssn	0-4095
PARAM_VALUE	0	il->stations->sta.key.reserved1	0
PARAM_VALUE	0	il->stations->sta.key.reserved2	0
PARAM_VALUE	0	il->stations->sta.mode	0-1
PARAM_VALUE	0	il->stations->sta.rate_n_flags	0,10,13,49162,49165
PARAM_VALUE	0	il->stations->sta.reserved2	0
PARAM_VALUE	0	il->stations->sta.sleep_tx_count	0-1
PARAM_VALUE	0	il->stations->sta.sta.modify_mask	0-2,4,8,16,32
PARAM_VALUE	0	il->stations->sta.sta.reserved1	0
PARAM_VALUE	0	il->stations->sta.sta.reserved2	0
PARAM_VALUE	0	il->stations->sta.station_flags	0-4294967295
PARAM_VALUE	0	il->stations->sta.station_flags_msk	0,256
PARAM_VALUE	0	il->txq	4096-ptr_max
PARAM_VALUE	1	txq	4096-ptr_max
PARAM_VALUE	1	txq->cmd	4096-ptr_max
PARAM_VALUE	1	txq->meta	4096-ptr_max
PARAM_VALUE	1	txq->need_update	1
PARAM_VALUE	1	txq->q.write_ptr	0-s32max
BUF_SIZE	0	il	s32min-(-1),1-s32max
BUF_SIZE	0	il	s32min-(-1),1-s32max
BUF_SIZE	0	il->beacon_skb	(-1)-s32max
BUF_SIZE	0	il->scan_cmd	(-1),1240,1788
BUF_SIZE	0	il->scan_request	(-1),136
CAPPED_DATA	0	&il->pci_dev->dev	1
DATA_SOURCE	0	il	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	il->scd_base_addr	0-u32max
USER_DATA	0	il->staging.filter_flags	0-u32max
USER_DATA	0	il->staging.flags	0,128-u32max
USER_DATA	0	il->tx_power_next	0-127[c]
USER_DATA	0	il->tx_power_user_lmt	(-128)-127
NO_OVERFLOW_SIMPLE	0	il->cfg->num_of_queues
NO_OVERFLOW_SIMPLE	0	il->hw_params.scd_bc_tbls_size
NO_OVERFLOW_SIMPLE	0	il->kw.size
NO_OVERFLOW_SIMPLE	0	il->scan_request->n_channels
NO_OVERFLOW_SIMPLE	0	il->scd_bc_tbls.size
NO_OVERFLOW_SIMPLE	0	il->tx_power_next
NO_OVERFLOW_SIMPLE	0	il->ucode_boot.len
NO_OVERFLOW_SIMPLE	0	il->ucode_code.len
NO_OVERFLOW_SIMPLE	0	il->ucode_data.len
NO_OVERFLOW_SIMPLE	0	il->ucode_data_backup.len
NO_OVERFLOW_SIMPLE	0	il->ucode_init.len
NO_OVERFLOW_SIMPLE	0	il->ucode_init_data.len
UNITS	0	il	unit_byte
USER_PTR	0	il->beacon_skb->data
LOCK2		flags
LOCK2	0	&il->hcmd_lock
HALF_LOCKED2	0	&il->lock
HALF_LOCKED2	0	&il->mutex
HALF_LOCKED2	0	&il->sta_lock
TYPE_LOCK		(struct il_priv)->hcmd_lock