Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/st/cw1200/main.c cw1200_init_common() -> tx_policy_init()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->channel_switch_done.head.next 4096-ptr_max
PARAM_VALUE 0 priv->channel_switch_done.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->channel_switch_done.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->channel_switch_done.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->channel_switch_done.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->conf_mutex.first_waiter 0
PARAM_VALUE 0 priv->conf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 priv->conf_mutex.osq.tail.counter 0
PARAM_VALUE 0 priv->conf_mutex.owner.counter 0
PARAM_VALUE 0 priv->event_queue.next 4096-ptr_max
PARAM_VALUE 0 priv->event_queue.next->next 4096-ptr_max
PARAM_VALUE 0 priv->event_queue.prev 4096-ptr_max
PARAM_VALUE 0 priv->event_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->event_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->hw 4096-ptr_max
PARAM_VALUE 0 priv->hw->priv 4096-ptr_max
PARAM_VALUE 0 priv->hw_type u32max
PARAM_VALUE 0 priv->mcast_timeout.entry.pprev 0
PARAM_VALUE 0 priv->mcast_timeout.flags 0-4194302
PARAM_VALUE 0 priv->mcast_timeout.lockdep_map->name 0-255
PARAM_VALUE 0 priv->mcs_rates 5459738435223965696
PARAM_VALUE 0 priv->mode 0
PARAM_VALUE 0 priv->ps_mode_switch_done.head.next 4096-ptr_max
PARAM_VALUE 0 priv->ps_mode_switch_done.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->ps_mode_switch_done.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->ps_mode_switch_done.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->ps_mode_switch_done.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->rates 8716776964032020480
PARAM_VALUE 0 priv->rts_threshold u32max
PARAM_VALUE 0 priv->tx_queue 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.link_map_cache 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.map_capacity 8
PARAM_VALUE 0 priv->tx_queue_stats.num_queued 0
PARAM_VALUE 0 priv->tx_queue_stats.priv 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->conf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->event_queue.next 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->event_queue.prev 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->hw 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->hw_type u32max
PARAM_VALUE 0 priv->tx_queue_stats.priv->mcast_timeout.flags 0-4194302
PARAM_VALUE 0 priv->tx_queue_stats.priv->mcs_rates 5459738435223965696
PARAM_VALUE 0 priv->tx_queue_stats.priv->mode 0
PARAM_VALUE 0 priv->tx_queue_stats.priv->rates 8716776964032020480
PARAM_VALUE 0 priv->tx_queue_stats.priv->rts_threshold u32max
PARAM_VALUE 0 priv->tx_queue_stats.priv->workqueue 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.priv->wsm_cmd_mux.magic 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.wait_link_id_empty.head.next 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.wait_link_id_empty.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.wait_link_id_empty.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.wait_link_id_empty.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->tx_queue_stats.wait_link_id_empty.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->workqueue 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd.done 1
PARAM_VALUE 0 priv->wsm_cmd_buf->begin 0
PARAM_VALUE 0 priv->wsm_cmd_buf.begin 0,4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_buf.data 0,4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_buf.end 0,4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_mux.dep_map->name 0-255
PARAM_VALUE 0 priv->wsm_cmd_mux.first_waiter 0
PARAM_VALUE 0 priv->wsm_cmd_mux.magic 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_mux.osq.tail.counter 0
PARAM_VALUE 0 priv->wsm_cmd_mux.owner.counter 0
PARAM_VALUE 0 priv->wsm_cmd_wq.head.next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_cmd_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->wsm_startup_done.head.next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_startup_done.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_startup_done.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->wsm_startup_done.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->wsm_startup_done.head.prev->prev 4096-ptr_max
MEM_ZERO 0 &priv->tx_queue_stats
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 priv->tx_queue_stats.map_capacity