Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43legacy/radio.c b43legacy_radio_set_interference_mitigation() -> b43legacy_radio_interference_mitigation_enable()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->ops->read16 4096-ptr_max
PARAM_VALUE 0 dev->dev->ops->read32 4096-ptr_max
PARAM_VALUE 0 dev->dev->ops->write16 4096-ptr_max
PARAM_VALUE 0 dev->dev->ops->write32 4096-ptr_max
PARAM_VALUE 0 dev->led_assoc.led_dev.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_assoc.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_assoc.led_dev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->led_assoc.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->led_assoc.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->led_radio.led_dev.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_radio.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_radio.led_dev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->led_radio.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->led_radio.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->led_rx.led_dev.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_rx.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_rx.led_dev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->led_rx.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->led_rx.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->led_tx.led_dev.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_tx.led_dev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->led_tx.led_dev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->led_tx.led_dev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->led_tx.led_dev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 dev->phy.gmode 1
PARAM_VALUE 0 dev->phy.rev 1-255
PARAM_VALUE 0 dev->phy.type 2
PARAM_VALUE 0 *dev->dma_reason 0-4294967295
PARAM_VALUE 1 mode 1-2
BUF_SIZE 0 dev (-1),24,1864,5184
BUF_SIZE 0 dev (-1),24,1864,5184
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 mode $1 [m]
FUZZY_MAX 1 mode 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->dev->bus->chipco.capabilities 0-u32max
HOST_DATA 0 dev->dev->bus->chipco.max_timer_ms 2114-u16max,541200-u32max[c]
HOST_DATA 0 dev->dev->bus->chipco.status 0-u32max
HOST_DATA 0 dev->dev->bus->chipco.ticks_per_ms 1-31[c]
HOST_DATA 0 dev->fw.patch 0-u16max
HOST_DATA 0 dev->fw.rev 0-296
HOST_DATA 0 dev->phy.analog 0-15[c]
HOST_DATA 0 dev->phy.nrssislope (-4194304)-(-128),128-4194304[c]
HOST_DATA 0 dev->phy.radio_manuf 0-4095
HOST_DATA 0 dev->phy.radio_off_context.rfover 0-u16max
HOST_DATA 0 dev->phy.radio_off_context.rfoverval 0-u16max
HOST_DATA 0 dev->phy.radio_rev 0-15
HOST_DATA 0 dev->phy.radio_ver 0-u16max[c]
HOST_DATA 0 dev->phy.rev 1-8
HOST_DATA 0 dev->phy.savedpctlreg 0-u16max
HOST_DATA 0 *dev->dev->bus->host_sdio->tmpbuf 0-255
NO_OVERFLOW_SIMPLE 0 dev->led_assoc.led_dev.blink_delay_off
NO_OVERFLOW_SIMPLE 0 dev->led_assoc.led_dev.blink_delay_on
NO_OVERFLOW_SIMPLE 0 dev->led_radio.led_dev.blink_delay_off
NO_OVERFLOW_SIMPLE 0 dev->led_radio.led_dev.blink_delay_on
NO_OVERFLOW_SIMPLE 0 dev->led_rx.led_dev.blink_delay_off
NO_OVERFLOW_SIMPLE 0 dev->led_rx.led_dev.blink_delay_on
NO_OVERFLOW_SIMPLE 0 dev->led_tx.led_dev.blink_delay_off
NO_OVERFLOW_SIMPLE 0 dev->led_tx.led_dev.blink_delay_on
UNITS 0 dev unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->wl->irq_lock
HALF_LOCKED2 0 &dev->wl->mutex
TYPE_LOCK (struct b43legacy_wl)->mutex