Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/wireless/ath/carl9170/main.c carl9170_op_stop() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->beacon_iter | 0 |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw->queues | 0-64 |
| PARAM_VALUE | 0 | ar->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *ar->cmd.data | 0-255 |
| CAPPED_DATA | 0 | ar->hw->queues | 1 |
| CAPPED_DATA | 0 | &ar->mutex | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &ar->mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct ar9170)->mutex |
drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_disconnect() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw_load_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->fw_load_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->fw_load_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->fw_load_wait.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->fw_load_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw_load_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->state | 1-u32max |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| FUZZY_MAX | 0 | ar->state | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ar | unit_byte |
drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_firmware_finish() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->cmd.hdr.cmd | 0-2 |
| PARAM_VALUE | 0 | ar->cmd.hdr.len | 4,8,32,60 |
| PARAM_VALUE | 0 | ar->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->cmd_seq | (-1) |
| PARAM_VALUE | 0 | ar->cmd_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw.address | 1048576-1146879,2097152-2129919 |
| PARAM_VALUE | 0 | ar->fw.api_version | 1 |
| PARAM_VALUE | 0 | ar->fw.ba_filter | 1 |
| PARAM_VALUE | 0 | ar->fw.beacon_max_len | 0-u16max |
| PARAM_VALUE | 0 | ar->fw.cmd_bufs | 1-255 |
| PARAM_VALUE | 0 | ar->fw.desc | 1-u64max |
| PARAM_VALUE | 0 | ar->fw.disable_offload_fw | 1 |
| PARAM_VALUE | 0 | ar->fw.fw | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw.hw_counters | 1 |
| PARAM_VALUE | 0 | ar->fw.mem_block_size | 64-512 |
| PARAM_VALUE | 0 | ar->fw.mem_blocks | 16-254 |
| PARAM_VALUE | 0 | ar->fw.offset | 0-u16max |
| PARAM_VALUE | 0 | ar->fw.rx_filter | 1 |
| PARAM_VALUE | 0 | ar->fw.rx_stream | 1 |
| PARAM_VALUE | 0 | ar->fw.tx_seq_table | 0,1048576-1146879,2097152-2129919 |
| PARAM_VALUE | 0 | ar->fw.tx_stream | 1 |
| PARAM_VALUE | 0 | ar->fw.vif_num | 1-6 |
| PARAM_VALUE | 0 | ar->fw_boot_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw->wiphy->flags | 0,256-u32max |
| PARAM_VALUE | 0 | ar->hw->wiphy->iface_combinations | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hw->wiphy->n_iface_combinations | 1 |
| PARAM_VALUE | 0 | ar->mem_bitmap | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | ar->mem_free_blocks.counter | 16-254 |
| PARAM_VALUE | 0 | ar->readlen | 0,4,32,60 |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_filter_caps | 236 |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->state | 0-2 |
| PARAM_VALUE | 0 | ar->state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_anch.poisoned | 0 |
| PARAM_VALUE | 0 | ar->tx_cmd.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->tx_cmd.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.dma_mem->pfn_base | 0-s64max |
| PARAM_VALUE | 0 | ar->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.pins->p | 0-s64max |
| PARAM_VALUE | 0 | *ar->cmd.data | 0-255 |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ar->fw.fw->size | 1 |
| CAPPED_DATA | 0 | ar->fw.vif_num | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ar->rng.rng->priv | 0-u64max |
| HOST_DATA | 0 | ar->rng.rng.priv->failure_cnt | 0 |
| HOST_DATA | 0 | ar->rng.rng.priv->failure_timer.expires | s64min-s64max |
| HOST_DATA | 0 | ar->rng.rng.priv->failure_timer.flags | 0-4194302 |
| HOST_DATA | 0 | ar->rng.rng.priv->failure_ts | s64min-s64max |
| HOST_DATA | 0 | ar->rng.rng.priv->irq | 0-4294967295 |
| HOST_DATA | 0 | ar->rng.rng.priv->jrdev->driver_data->inpring_avail | 0-4294967295 |
| HOST_DATA | 0 | ar->rng.rng.priv->revision | 0-4294967295 |
| NO_OVERFLOW_SIMPLE | 0 | ar->num_channels | |
| NO_OVERFLOW_SIMPLE | 0 | ar->wps.pbc->max_vals | |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_init_device() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->cmd.hdr.cmd | 2 |
| PARAM_VALUE | 0 | ar->cmd.hdr.len | 4 |
| PARAM_VALUE | 0 | ar->cmd_seq | (-2) |
| PARAM_VALUE | 0 | ar->cmd_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->cmd_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->fw_boot_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->last_reason | 6 |
| PARAM_VALUE | 0 | ar->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->readbuf | 0,7314084289589944320 |
| PARAM_VALUE | 0 | ar->restart_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_anch.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | ar->rx_pool.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->state | 0-2 |
| PARAM_VALUE | 0 | ar->state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_anch.poisoned | 0 |
| PARAM_VALUE | 0 | ar->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->udev->state | 4-u32max |
| PARAM_VALUE | 0 | *ar->cmd.data | 0-255 |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ar | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ar->mutex | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ar | unit_byte |
drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_reset() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->ampdu_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->beacon_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->filter_state | 0 |
| PARAM_VALUE | 0 | ar->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->led_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mem_free_blocks.counter | s32min-(-2),0-s32max |
| PARAM_VALUE | 0 | ar->mem_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->ping_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->ps_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->rx_anch.poisoned | 1 |
| PARAM_VALUE | 0 | ar->rx_anch.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | ar->rx_pool.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | ar->rx_work.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | ar->stat_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->state | 0 |
| PARAM_VALUE | 0 | ar->state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_ampdu_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_ampdu_scheduler.counter | 0 |
| PARAM_VALUE | 0 | ar->tx_anch.poisoned | 1 |
| PARAM_VALUE | 0 | ar->tx_anch.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | ar->tx_cmd.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | ar->tx_flush.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_flush.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->tx_flush.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->tx_janitor.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_stats_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->usb_tasklet.next | 0 |
| PARAM_VALUE | 0 | ar->usedkeys | 0 |
| CAPPED_DATA | 0 | ar->hw->queues | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| PARAM_COMPARE | 0 | &ar->rx_anch.urb_list | == $0->rx_anch.urb_list.next |
| PARAM_COMPARE | 0 | &ar->rx_pool.urb_list | == $0->rx_pool.urb_list.next |
| PARAM_COMPARE | 0 | &ar->rx_work.urb_list | == $0->rx_work.urb_list.next |
| PARAM_COMPARE | 0 | &ar->tx_anch.urb_list | == $0->tx_anch.urb_list.next |
| PARAM_COMPARE | 0 | &ar->tx_cmd.urb_list | == $0->tx_cmd.urb_list.next |
| MEM_ZERO | 0 | ar->mem_bitmap | |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_restart() -> carl9170_usb_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->ampdu_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->cmd_seq | (-2) |
| PARAM_VALUE | 0 | ar->filter_state | 0 |
| PARAM_VALUE | 0 | ar->force_usb_reset | 0 |
| PARAM_VALUE | 0 | ar->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->intf->condition | 2 |
| PARAM_VALUE | 0 | ar->led_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ar->ping_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->ps_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->stat_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->tx_janitor.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->usedkeys | 0 |
| DATA_SOURCE | 0 | ar | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &ar->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ar9170)->mutex |