Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/pio.c b43_pio_free() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 1 name 8117238485385392128
BUF_SIZE 1 name 15
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_free() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 1 name 3030716731829846016
BUF_SIZE 1 name 15
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_free() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 1 name 1192604018102542336
BUF_SIZE 1 name 15
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_free() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 1 name 4946354900293427200
BUF_SIZE 1 name 15
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_free() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 1 name 527227821922127872
BUF_SIZE 1 name 15
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_init() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->__init_status.counter s32min-0,2-s32max
PARAM_VALUE 0 q->dev->__using_pio_transfers 1
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->fw.hdr_format 0-2
PARAM_VALUE 0 q->dev->fw.rev 297-u16max
PARAM_VALUE 0 q->dev->fw.ucode.data 4096-ptr_max
PARAM_VALUE 0 q->dev->irq_mask 939885156,939887204
PARAM_VALUE 0 q->dev->phy.chandef 1-u64max
PARAM_VALUE 0 q->dev->phy.channel 0-u16max
PARAM_VALUE 0 q->dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 q->dev->phy.radio_on 1
PARAM_VALUE 0 q->dev->phy.txerr_cnt.counter 1000
PARAM_VALUE 0 q->dev->radio_hw_enable 1
PARAM_VALUE 0 q->dev->wl 4096-ptr_max
PARAM_VALUE 0 q->free_packet_slots 32
PARAM_VALUE 0 q->index 4
PARAM_VALUE 0 q->packets 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 name 8117238485385392128
BUF_SIZE 0 q 1328
BUF_SIZE 1 name 15
DATA_SOURCE 0 q r b43_setup_pioqueue_tx
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->buffer_size 0-u16max
HOST_DATA 0 q->dev->fw.patch 0-u16max
HOST_DATA 0 q->dev->phy.analog 0-15[c]
HOST_DATA 0 q->dev->phy.gmode 0-1
HOST_DATA 0 q->dev->phy.radio_rev 0-255
HOST_DATA 0 q->dev->phy.radio_ver 0-u16max
HOST_DATA 0 q->dev->phy.supports_2ghz 0-1
HOST_DATA 0 q->dev->phy.supports_5ghz 0-1
HOST_DATA 0 q->dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_init() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->__init_status.counter s32min-0,2-s32max
PARAM_VALUE 0 q->dev->__using_pio_transfers 1
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->fw.hdr_format 0-2
PARAM_VALUE 0 q->dev->fw.rev 297-u16max
PARAM_VALUE 0 q->dev->fw.ucode.data 4096-ptr_max
PARAM_VALUE 0 q->dev->irq_mask 939885156,939887204
PARAM_VALUE 0 q->dev->phy.chandef 1-u64max
PARAM_VALUE 0 q->dev->phy.channel 0-u16max
PARAM_VALUE 0 q->dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 q->dev->phy.radio_on 1
PARAM_VALUE 0 q->dev->phy.txerr_cnt.counter 1000
PARAM_VALUE 0 q->dev->radio_hw_enable 1
PARAM_VALUE 0 q->dev->wl 4096-ptr_max
PARAM_VALUE 0 q->free_packet_slots 32
PARAM_VALUE 0 q->index 3
PARAM_VALUE 0 q->packets 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 name 3030716731829846016
BUF_SIZE 0 q 1328
BUF_SIZE 1 name 15
DATA_SOURCE 0 q r b43_setup_pioqueue_tx
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->buffer_size 0-u16max
HOST_DATA 0 q->dev->fw.patch 0-u16max
HOST_DATA 0 q->dev->phy.analog 0-15[c]
HOST_DATA 0 q->dev->phy.gmode 0-1
HOST_DATA 0 q->dev->phy.radio_rev 0-255
HOST_DATA 0 q->dev->phy.radio_ver 0-u16max
HOST_DATA 0 q->dev->phy.supports_2ghz 0-1
HOST_DATA 0 q->dev->phy.supports_5ghz 0-1
HOST_DATA 0 q->dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_init() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->__init_status.counter s32min-0,2-s32max
PARAM_VALUE 0 q->dev->__using_pio_transfers 1
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->fw.hdr_format 0-2
PARAM_VALUE 0 q->dev->fw.rev 297-u16max
PARAM_VALUE 0 q->dev->fw.ucode.data 4096-ptr_max
PARAM_VALUE 0 q->dev->irq_mask 939885156,939887204
PARAM_VALUE 0 q->dev->phy.chandef 1-u64max
PARAM_VALUE 0 q->dev->phy.channel 0-u16max
PARAM_VALUE 0 q->dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 q->dev->phy.radio_on 1
PARAM_VALUE 0 q->dev->phy.txerr_cnt.counter 1000
PARAM_VALUE 0 q->dev->radio_hw_enable 1
PARAM_VALUE 0 q->dev->wl 4096-ptr_max
PARAM_VALUE 0 q->free_packet_slots 32
PARAM_VALUE 0 q->index 2
PARAM_VALUE 0 q->packets 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 name 1192604018102542336
BUF_SIZE 0 q 1328
BUF_SIZE 1 name 15
DATA_SOURCE 0 q r b43_setup_pioqueue_tx
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->buffer_size 0-u16max
HOST_DATA 0 q->dev->fw.patch 0-u16max
HOST_DATA 0 q->dev->phy.analog 0-15[c]
HOST_DATA 0 q->dev->phy.gmode 0-1
HOST_DATA 0 q->dev->phy.radio_rev 0-255
HOST_DATA 0 q->dev->phy.radio_ver 0-u16max
HOST_DATA 0 q->dev->phy.supports_2ghz 0-1
HOST_DATA 0 q->dev->phy.supports_5ghz 0-1
HOST_DATA 0 q->dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_init() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->__init_status.counter s32min-0,2-s32max
PARAM_VALUE 0 q->dev->__using_pio_transfers 1
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->fw.hdr_format 0-2
PARAM_VALUE 0 q->dev->fw.rev 297-u16max
PARAM_VALUE 0 q->dev->fw.ucode.data 4096-ptr_max
PARAM_VALUE 0 q->dev->irq_mask 939885156,939887204
PARAM_VALUE 0 q->dev->phy.chandef 1-u64max
PARAM_VALUE 0 q->dev->phy.channel 0-u16max
PARAM_VALUE 0 q->dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 q->dev->phy.radio_on 1
PARAM_VALUE 0 q->dev->phy.txerr_cnt.counter 1000
PARAM_VALUE 0 q->dev->radio_hw_enable 1
PARAM_VALUE 0 q->dev->wl 4096-ptr_max
PARAM_VALUE 0 q->free_packet_slots 32
PARAM_VALUE 0 q->index 1
PARAM_VALUE 0 q->packets 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 name 4946354900293427200
BUF_SIZE 0 q 1328
BUF_SIZE 1 name 15
DATA_SOURCE 0 q r b43_setup_pioqueue_tx
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->buffer_size 0-u16max
HOST_DATA 0 q->dev->fw.patch 0-u16max
HOST_DATA 0 q->dev->phy.analog 0-15[c]
HOST_DATA 0 q->dev->phy.gmode 0-1
HOST_DATA 0 q->dev->phy.radio_rev 0-255
HOST_DATA 0 q->dev->phy.radio_ver 0-u16max
HOST_DATA 0 q->dev->phy.supports_2ghz 0-1
HOST_DATA 0 q->dev->phy.supports_5ghz 0-1
HOST_DATA 0 q->dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_pio_init() -> b43_destroy_pioqueue_tx()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->__init_status.counter s32min-0,2-s32max
PARAM_VALUE 0 q->dev->__using_pio_transfers 1
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->fw.hdr_format 0-2
PARAM_VALUE 0 q->dev->fw.rev 297-u16max
PARAM_VALUE 0 q->dev->fw.ucode.data 4096-ptr_max
PARAM_VALUE 0 q->dev->irq_mask 939885156,939887204
PARAM_VALUE 0 q->dev->phy.chandef 1-u64max
PARAM_VALUE 0 q->dev->phy.channel 0-u16max
PARAM_VALUE 0 q->dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 q->dev->phy.radio_on 1
PARAM_VALUE 0 q->dev->phy.txerr_cnt.counter 1000
PARAM_VALUE 0 q->dev->radio_hw_enable 1
PARAM_VALUE 0 q->dev->wl 4096-ptr_max
PARAM_VALUE 0 q->free_packet_slots 32
PARAM_VALUE 0 q->index 0
PARAM_VALUE 0 q->packets 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->packets_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 name 527227821922127872
BUF_SIZE 0 q 1328
BUF_SIZE 1 name 15
DATA_SOURCE 0 q r b43_setup_pioqueue_tx
STR_LEN 0 q 14
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->buffer_size 0-u16max
HOST_DATA 0 q->dev->fw.patch 0-u16max
HOST_DATA 0 q->dev->phy.analog 0-15[c]
HOST_DATA 0 q->dev->phy.gmode 0-1
HOST_DATA 0 q->dev->phy.radio_rev 0-255
HOST_DATA 0 q->dev->phy.radio_ver 0-u16max
HOST_DATA 0 q->dev->phy.supports_2ghz 0-1
HOST_DATA 0 q->dev->phy.supports_5ghz 0-1
HOST_DATA 0 q->dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex