Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/net/wireless/broadcom/b43/leds.c
- drivers/net/wireless/broadcom/b43/lo.c
- drivers/net/wireless/broadcom/b43/main.c
- drivers/net/wireless/broadcom/b43/phy_g.c, line 2921
- drivers/net/wireless/broadcom/b43/pio.c, line 520
Smatch caller information:
drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_recalc_txpower() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *wl->tx_queue_stopped | 0-1 |
| PARAM_VALUE | 1 | fmt | 1932911115561979904 |
| BUF_SIZE | 1 | fmt | 38 |
| STR_LEN | 0 | wl | 37 |
| TERMINATED | 1 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_do_interrupt_thread() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | fmt | 3076480591120977920 |
| BUF_SIZE | 1 | fmt | 24 |
| STR_LEN | 0 | wl | 23 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_key_write() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 192369263958847488 |
| BUF_SIZE | 1 | fmt | 28 |
| STR_LEN | 0 | wl | 27 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_print_fw_helptext() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 7121513409481043968 |
| BUF_SIZE | 1 | fmt | 228 |
| DATA_SOURCE | 0 | wl | $0 |
| STR_LEN | 0 | wl | 227 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_upload_microcode() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 5322702707499098112 |
| BUF_SIZE | 1 | fmt | 82 |
| STR_LEN | 0 | wl | 81 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_upload_microcode() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw->wiphy->hw_version | 0-u16max |
| PARAM_VALUE | 1 | fmt | 3033709468402274304 |
| BUF_SIZE | 1 | fmt | 119 |
| STR_LEN | 0 | wl | 118 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/main.c b43_validate_chipaccess() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw_registered | 0 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | wl->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | wl->mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | fmt | 7967923775197126656 |
| BUF_SIZE | 1 | fmt | 43 |
| STR_LEN | 0 | wl | 42 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/wireless/broadcom/b43/main.c b43_validate_chipaccess() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw_registered | 0 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | wl->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | wl->mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | fmt | 2503803956540846080 |
| BUF_SIZE | 1 | fmt | 44 |
| STR_LEN | 0 | wl | 43 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/wireless/broadcom/b43/main.c b43_wireless_core_attach() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw_registered | 0 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | wl->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | wl->mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | fmt | 7417805052158115840 |
| BUF_SIZE | 1 | fmt | 39 |
| STR_LEN | 0 | wl | 38 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/wireless/broadcom/b43/main.c b43_wireless_core_init() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw->wiphy->hw_version | 0-u16max |
| PARAM_VALUE | 0 | *wl->hw->wiphy->fw_version | 0-255 |
| PARAM_VALUE | 1 | fmt | 4464221913692594176 |
| BUF_SIZE | 1 | fmt | 105 |
| STR_LEN | 0 | wl | 104 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/lo.c b43_calibrate_lo_setting() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 3747257948896280576 |
| BUF_SIZE | 1 | fmt | 25 |
| STR_LEN | 0 | wl | 24 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43/lo.c b43_gphy_dc_lt_init() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *wl->hw->wiphy->fw_version | 0-255 |
| PARAM_VALUE | 1 | fmt | 1979743752565305344 |
| BUF_SIZE | 1 | fmt | 40 |
| STR_LEN | 0 | wl | 39 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/lo.c b43_lo_g_maintenance_work() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | fmt | 8007999441389236224 |
| BUF_SIZE | 1 | fmt | 42 |
| STR_LEN | 0 | wl | 41 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock | ||
| LOCK2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/pio.c b43_pio_tx() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 8775196491324100608 |
| BUF_SIZE | 1 | fmt | 26 |
| STR_LEN | 0 | wl | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43/leds.c b43_map_led() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 1946153066172735488 |
| PARAM_VALUE | 2 | $ | 12-126 |
| BUF_SIZE | 1 | fmt | 32 |
| DATA_SOURCE | 2 | $ | $2 |
| STR_LEN | 0 | wl | 31 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_assoc.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_assoc.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_radio.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_radio.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_rx.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_rx.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_tx.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_tx.led_dev.blink_delay_on | |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/broadcom/b43/leds.c b43_register_led() -> b43warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->hw->wiphy | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_radio.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_rx.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wl->leds.led_tx.led_dev.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 7595766295275032576 |
| PARAM_VALUE | 2 | $ | 1470037442973130752 |
| BUF_SIZE | 1 | fmt | 29 |
| BUF_SIZE | 2 | $ | 32 |
| BUF_SIZE | 2 | $ | 32 |
| DATA_SOURCE | 2 | $ | $2 |
| STR_LEN | 0 | wl | 28 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_assoc.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_assoc.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_radio.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_radio.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_rx.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_rx.led_dev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_tx.led_dev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | wl->leds.led_tx.led_dev.blink_delay_on | |
| HALF_LOCKED2 | &pool->lock |