Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/smartpqi/smartpqi_init.c pqi_create_event_queue() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 1856,4096-ptr_max
PARAM_VALUE 0 ctrl_info->event_queue.oq_pi 0,4-u64max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 8943762800597286912
PARAM_VALUE 1 request->data.create_operational_oq.element_length 2
PARAM_VALUE 1 request->data.create_operational_oq.num_elements 32
PARAM_VALUE 1 request->function_code 17
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 950760234694795264
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
CAPPED_DATA 0 ctrl_info->num_queue_groups 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->num_queue_groups 1[c]
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
UNITS 0 ctrl_info unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 0 &ctrl_info->scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_create_queue_group() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.iq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->event_queue.oq_ci_copy 0
PARAM_VALUE 0 ctrl_info->event_queue.oq_pi 0,4-u64max
PARAM_VALUE 0 ctrl_info->num_queue_groups 1-u32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->queue_groups 4096-ptr_max
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 5650260286074249216
PARAM_VALUE 1 request->data.create_operational_iq.element_length 8
PARAM_VALUE 1 request->data.create_operational_iq.queue_id 1-u16max
PARAM_VALUE 1 request->function_code 16
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 5842213278477103104
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
CAPPED_DATA 0 ctrl_info->num_queue_groups 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->num_queue_groups 1[c]
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
UNITS 0 ctrl_info unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 0 &ctrl_info->scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_create_queue_group() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.iq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->event_queue.oq_ci_copy 0
PARAM_VALUE 0 ctrl_info->event_queue.oq_pi 0,4-u64max
PARAM_VALUE 0 ctrl_info->num_queue_groups 1-u32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->queue_groups 4096-ptr_max
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 5650260286074249216
PARAM_VALUE 1 request->data.create_operational_iq.element_length 8
PARAM_VALUE 1 request->data.create_operational_iq.queue_id 1-u16max
PARAM_VALUE 1 request->function_code 16
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 5842213278477103104
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
CAPPED_DATA 0 ctrl_info->num_queue_groups 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->num_queue_groups 1[c]
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
UNITS 0 ctrl_info unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 0 &ctrl_info->scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_create_queue_group() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.iq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->event_queue.oq_ci_copy 0
PARAM_VALUE 0 ctrl_info->event_queue.oq_pi 0,4-u64max
PARAM_VALUE 0 ctrl_info->num_queue_groups 1-u32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->queue_groups 4096-ptr_max
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 5650260286074249216
PARAM_VALUE 1 request->data.change_operational_iq_properties.queue_id 1-u16max
PARAM_VALUE 1 request->data.change_operational_iq_properties.vendor_specific 1
PARAM_VALUE 1 request->function_code 20
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 5842213278477103104
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
CAPPED_DATA 0 ctrl_info->num_queue_groups 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->num_queue_groups 1[c]
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
UNITS 0 ctrl_info unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 0 &ctrl_info->scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_create_queue_group() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.iq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 4096-ptr_max
PARAM_VALUE 0 ctrl_info->event_queue.oq_ci_copy 0
PARAM_VALUE 0 ctrl_info->event_queue.oq_pi 0,4-u64max
PARAM_VALUE 0 ctrl_info->num_queue_groups 1-u32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->queue_groups 4096-ptr_max
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 5650260286074249216
PARAM_VALUE 1 request->data.create_operational_oq.element_length 1
PARAM_VALUE 1 request->function_code 17
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 5842213278477103104
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
CAPPED_DATA 0 ctrl_info->num_queue_groups 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->num_queue_groups 1[c]
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
NO_OVERFLOW_SIMPLE 0 ctrl_info->max_io_slots
UNITS 0 ctrl_info unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 0 &ctrl_info->scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_report_device_capability() -> pqi_submit_admin_request_synchronous()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queue_memory_base 1-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queue_memory_length 1984
PARAM_VALUE 0 ctrl_info->admin_queues.iq_ci 1792,4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.iq_element_array 0,64-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_element_array 512,4096-ptr_max
PARAM_VALUE 0 ctrl_info->admin_queues.oq_pi 1856,4096-ptr_max
PARAM_VALUE 0 ctrl_info->block_requests_wait.head.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->block_requests_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->block_requests_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->block_requests_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->block_requests_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->ciss_report_log_flags 1
PARAM_VALUE 0 ctrl_info->error_buffer 1-ptr_max
PARAM_VALUE 0 ctrl_info->heartbeat_timer.entry.pprev 0
PARAM_VALUE 0 ctrl_info->heartbeat_timer.flags 0-4194302
PARAM_VALUE 0 ctrl_info->heartbeat_timer.lockdep_map->name 0-255
PARAM_VALUE 0 ctrl_info->iomem_base 4096-ptr_max
PARAM_VALUE 0 ctrl_info->irq_mode 0
PARAM_VALUE 0 ctrl_info->lun_reset_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->lun_reset_mutex.first_waiter 0
PARAM_VALUE 0 ctrl_info->lun_reset_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl_info->max_msix_vectors 64
PARAM_VALUE 0 ctrl_info->max_sectors 0-2040,8388600
PARAM_VALUE 0 ctrl_info->max_transfer_encrypted_nvme 32768
PARAM_VALUE 0 ctrl_info->max_transfer_encrypted_sas_sata u32max
PARAM_VALUE 0 ctrl_info->max_write_raid_1_10_2drive u32max
PARAM_VALUE 0 ctrl_info->max_write_raid_1_10_3drive u32max
PARAM_VALUE 0 ctrl_info->max_write_raid_5_6 8192
PARAM_VALUE 0 ctrl_info->num_interrupts.counter 0
PARAM_VALUE 0 ctrl_info->numa_node s32min-(-2),0-s32max
PARAM_VALUE 0 ctrl_info->ofa_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->ofa_mutex.first_waiter 0
PARAM_VALUE 0 ctrl_info->ofa_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl_info->ofa_mutex.osq.tail.counter 0
PARAM_VALUE 0 ctrl_info->ofa_mutex.owner.counter 0
PARAM_VALUE 0 ctrl_info->pci_dev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->pci_dev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 ctrl_info->pci_dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ctrl_info->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 ctrl_info->pci_dev->is_busmaster 1
PARAM_VALUE 0 ctrl_info->pci_dev->is_virtfn 0
PARAM_VALUE 0 ctrl_info->pci_dev->npem->supported_indications 0-4294967295
PARAM_VALUE 0 ctrl_info->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 ctrl_info->pqi_mode_enabled 1
PARAM_VALUE 0 ctrl_info->pqi_registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->pqi_reset_quiesce_supported 1
PARAM_VALUE 0 ctrl_info->registers 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scan_mutex.dep_map->name 0-255
PARAM_VALUE 0 ctrl_info->scan_mutex.first_waiter 0
PARAM_VALUE 0 ctrl_info->scan_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scan_mutex.osq.tail.counter 0
PARAM_VALUE 0 ctrl_info->scan_mutex.owner.counter 0
PARAM_VALUE 0 ctrl_info->scsi_device_list.next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scsi_device_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scsi_device_list.prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scsi_device_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scsi_device_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctrl_info->scsi_ml_can_queue 0-4294967284
PARAM_VALUE 0 ctrl_info->sg_chain_buffer_length 192-4288
PARAM_VALUE 0 ctrl_info->sg_tablesize 0-256
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 1 request 6420080694100283392
PARAM_VALUE 1 request->data.report_device_capability.buffer_length 576
PARAM_VALUE 1 request->function_code 0
PARAM_VALUE 1 request->header.iu_length 60
PARAM_VALUE 1 request->header.iu_type 96
PARAM_VALUE 2 response 1889113881257725952
BUF_SIZE 0 ctrl_info 23184
BUF_SIZE 0 ctrl_info->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl_info->pci_dev 1
DATA_SOURCE 0 ctrl_info $0
MEM_ZERO 1 request
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl_info->product_id 0-255
HOST_DATA 0 ctrl_info->product_revision 0-255
HALF_LOCKED2 &pool->lock