Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/leds.c b43_leds_register() -> b43_map_led()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->core_rev 5-18,22-26,28-30,33,40,42
PARAM_VALUE 0 dev->fw.initvals.type 0-1
PARAM_VALUE 0 dev->fw.initvals_band.type 0-1
PARAM_VALUE 0 dev->fw.pcm.filename 1-u64max
PARAM_VALUE 0 dev->fw.ucode.type 0-1
PARAM_VALUE 0 dev->phy.type 2,4-5,7-8,10-11
PARAM_VALUE 0 dev->wl->leds.led_assoc.led_dev.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->wl->leds.led_assoc.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->wl->leds.led_assoc.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->wl->leds.led_radio.led_dev.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->wl->leds.led_radio.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->wl->leds.led_radio.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->wl->leds.led_radio.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->wl->leds.led_rx.led_dev.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->wl->leds.led_rx.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->wl->leds.led_rx.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->wl->leds.led_rx.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->wl->leds.led_tx.led_dev.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->wl->leds.led_tx.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->wl->leds.led_tx.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->wl->leds.led_tx.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 1 led_index 0-3
PARAM_VALUE 2 behaviour 0-126
DATA_SOURCE 0 dev $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock