Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_free() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_free() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_free() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_free() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_init() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dev 4096-ptr_max
PARAM_VALUE 0 queue->mmio_base 800
PARAM_VALUE 0 queue->nr_txfree 256
PARAM_VALUE 0 queue->tx_devq_size 1-65455
PARAM_VALUE 0 queue->txfree.next 4096-ptr_max
PARAM_VALUE 0 queue->txfree.prev 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.next 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.prev 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.next 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.prev 4096-ptr_max
PARAM_VALUE 0 queue->txtask.count.counter 0
PARAM_VALUE 0 queue->txtask.data 0
PARAM_VALUE 0 queue->txtask.next 0
PARAM_VALUE 0 queue->txtask.state 0
PARAM_VALUE 0 queue->txtask.use_callback 1
BUF_SIZE 0 queue 8312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 queue->tx_devq_size 1-65455[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_init() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dev 4096-ptr_max
PARAM_VALUE 0 queue->mmio_base 784
PARAM_VALUE 0 queue->nr_txfree 256
PARAM_VALUE 0 queue->tx_devq_size 1-65455
PARAM_VALUE 0 queue->txfree.next 4096-ptr_max
PARAM_VALUE 0 queue->txfree.prev 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.next 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.prev 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.next 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.prev 4096-ptr_max
PARAM_VALUE 0 queue->txtask.count.counter 0
PARAM_VALUE 0 queue->txtask.data 0
PARAM_VALUE 0 queue->txtask.next 0
PARAM_VALUE 0 queue->txtask.state 0
PARAM_VALUE 0 queue->txtask.use_callback 1
BUF_SIZE 0 queue 8312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 queue->tx_devq_size 1-65455[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_pio_init() -> b43legacy_destroy_pioqueue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->dev 4096-ptr_max
PARAM_VALUE 0 queue->mmio_base 768
PARAM_VALUE 0 queue->nr_txfree 256
PARAM_VALUE 0 queue->tx_devq_size 1-65455
PARAM_VALUE 0 queue->txfree.next 4096-ptr_max
PARAM_VALUE 0 queue->txfree.prev 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.next 4096-ptr_max
PARAM_VALUE 0 queue->txqueue.prev 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.next 4096-ptr_max
PARAM_VALUE 0 queue->txrunning.prev 4096-ptr_max
PARAM_VALUE 0 queue->txtask.count.counter 0
PARAM_VALUE 0 queue->txtask.data 0
PARAM_VALUE 0 queue->txtask.next 0
PARAM_VALUE 0 queue->txtask.state 0
PARAM_VALUE 0 queue->txtask.use_callback 1
BUF_SIZE 0 queue 8312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 queue->tx_devq_size 1-65455[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43legacy_wl)->mutex