Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/carl9170/main.c carl9170_op_start() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->beacon_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd.hdr.cmd 16-17
PARAM_VALUE 0 ar->cmd.hdr.len 4,28
PARAM_VALUE 0 ar->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd_wait.done 0-4294967293,u32max
PARAM_VALUE 0 ar->cmd_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd_wait.wait.lock.owner (-1)
PARAM_VALUE 0 ar->cmd_wait.wait.lock.owner_cpu 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->current_density (-1)
PARAM_VALUE 0 ar->current_factor (-1)
PARAM_VALUE 0 ar->edcf 4096-ptr_max
PARAM_VALUE 0 ar->erp_mode 1
PARAM_VALUE 0 ar->filter_state 0
PARAM_VALUE 0 ar->hw 4096-ptr_max
PARAM_VALUE 0 ar->mem_allocs.counter 0
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->readbuf 0
PARAM_VALUE 0 ar->readlen 0
PARAM_VALUE 0 ar->state 0,2
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_ampdu_upload.counter 0
PARAM_VALUE 0 ar->tx_anch.poisoned 0
PARAM_VALUE 0 ar->tx_anch.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 ar->tx_anch.urb_list.prev->next->next 4096-ptr_max
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->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_stats_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->tx_total_pending.counter 0
PARAM_VALUE 0 ar->tx_total_queued.counter 0
PARAM_VALUE 0 ar->usedkeys 1
PARAM_VALUE 0 *ar->cmd.data 0-255
PARAM_VALUE 0 *ar->cmd_buf 0-4294967295
PARAM_VALUE 1 min 2
PARAM_VALUE 2 newstate 3
CAPPED_DATA 0 ar->hw->queues 1
CAPPED_DATA 0 &ar->mutex 1
MEM_ZERO 0 ar->mem_bitmap
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/main.c carl9170_op_stop() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 1 min 3
PARAM_VALUE 2 newstate 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireless/ath/carl9170/main.c carl9170_restart() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 0 ar 1-u64max
PARAM_VALUE 0 ar->common.regulatory.regpair->reg_2ghz_ctl 16,48,64,255,511
PARAM_VALUE 0 ar->common.regulatory.regpair->reg_5ghz_ctl 16,48,64,255,511
PARAM_VALUE 0 *ar->cmd_buf 0-4294967295
PARAM_VALUE 1 min 3
PARAM_VALUE 2 newstate 2
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar->readbuf (-1),4,8,12,16,24,32,48,60
BUF_SIZE 0 ar->rng.rng.name (-1),31
DATA_SOURCE 0 ar $0
STR_LEN 0 ar->rng.name (-1),30
STR_LEN 0 ar->rng.rng.name (-1),30
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ar->rng.rng->priv 0-u64max
NO_OVERFLOW_SIMPLE 0 ar->num_channels
NO_OVERFLOW_SIMPLE 0 ar->rx_failover->len
NO_OVERFLOW_SIMPLE 0 ar->rx_failover->tail
NO_OVERFLOW_SIMPLE 0 ar->rx_failover_missing
NO_OVERFLOW_SIMPLE 0 ar->wps.pbc->max_vals
UNITS 0 ar unit_byte
HALF_LOCKED2 0 &ar->mutex

drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_init_rx_bulk_urbs() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->cmd_seq (-2)
PARAM_VALUE 0 ar->fw.rx_size 0-4000000
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.lock.rlock.dep_map->name 0-255
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->udev->state 4-u32max
PARAM_VALUE 1 min 1
PARAM_VALUE 2 newstate 2
BUF_SIZE 0 ar s32min-(-2),1-s32max
BUF_SIZE 0 ar s32min-(-2),1-s32max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ar unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_open() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->tx_anch.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->tx_anch.poisoned 0
PARAM_VALUE 1 min 1
PARAM_VALUE 2 newstate 2
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ar unit_byte
HALF_LOCKED2 0 &ar->mutex

drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_stop() -> carl9170_set_state_when()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 *ar->cmd.data 0-255
PARAM_VALUE 1 min 2
PARAM_VALUE 2 newstate 1
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ar->rng.rng->priv 0-u64max
NO_OVERFLOW_SIMPLE 0 ar->num_channels
NO_OVERFLOW_SIMPLE 0 ar->wps.pbc->max_vals
UNITS 0 ar unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &ar->mutex