Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ti/wl12xx/scan.c wl1271_scan_stm() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->ap_get_mimo_wide_rate_mask | 0,5237986441602469888 |
| PARAM_VALUE | 0 | wl->ops->convert_fw_status | 5812645341067567104,9081742725117689856 |
| PARAM_VALUE | 0 | wl->ops->get_rx_buf_align | 5089368472416313344,6486494890565001216 |
| PARAM_VALUE | 0 | wl->ops->lnk_high_prio | 791713942995337216,6702158564544282624 |
| PARAM_VALUE | 0 | wl->ops->pre_pkt_send | 0,3217367078932590592 |
| PARAM_VALUE | 0 | wl->ops->prepare_read | 0,4646267435828973568 |
| PARAM_VALUE | 0 | wl->ops->set_rx_csum | 0,5507814151246364672 |
| PARAM_VALUE | 0 | wl->ops->sta_get_ap_rate_mask | 374441544654487552,2701580250877825024 |
| PARAM_VALUE | 0 | wl->ops->tx_delayed_compl | 0,1232953524554362880 |
| PARAM_VALUE | 0 | wl->ops->tx_immediate_compl | 0,7163884938520678400 |
| PARAM_VALUE | 0 | wl->scan.req | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->scan.state | 2 |
| PARAM_VALUE | 0 | *wl->tx_allocated_pkts | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_pkts_freed | 0-4294967295 |
| PARAM_VALUE | 1 | wlvif | 4096-ptr_max |
| PARAM_VALUE | 1 | wlvif->bitrate_masks | 4096-ptr_max |
| BUF_SIZE | 0 | wl->scan_wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_channels | |
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_ssids | |
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct wl1271)->mutex |
drivers/net/wireless/ti/wl12xx/scan.c wl1271_scan_stm() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->ap_get_mimo_wide_rate_mask | 0,5237986441602469888 |
| PARAM_VALUE | 0 | wl->ops->convert_fw_status | 5812645341067567104,9081742725117689856 |
| PARAM_VALUE | 0 | wl->ops->get_rx_buf_align | 5089368472416313344,6486494890565001216 |
| PARAM_VALUE | 0 | wl->ops->lnk_high_prio | 791713942995337216,6702158564544282624 |
| PARAM_VALUE | 0 | wl->ops->pre_pkt_send | 0,3217367078932590592 |
| PARAM_VALUE | 0 | wl->ops->prepare_read | 0,4646267435828973568 |
| PARAM_VALUE | 0 | wl->ops->set_rx_csum | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->sta_get_ap_rate_mask | 374441544654487552,2701580250877825024 |
| PARAM_VALUE | 0 | wl->ops->tx_delayed_compl | 0,1232953524554362880 |
| PARAM_VALUE | 0 | wl->ops->tx_immediate_compl | 0,7163884938520678400 |
| PARAM_VALUE | 0 | wl->scan.req | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->scan.state | 3,5 |
| PARAM_VALUE | 0 | *wl->tx_allocated_pkts | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_pkts_freed | 0-4294967295 |
| PARAM_VALUE | 1 | wlvif | 4096-ptr_max |
| PARAM_VALUE | 1 | wlvif->bitrate_masks | 4096-ptr_max |
| BUF_SIZE | 0 | wl->scan_wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| CAPPED_DATA | 0 | wl->scan.req->n_channels | 1 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| FUZZY_MAX | 0 | wl->scan.state | 5 |
| BIT_INFO | 0 | wl->scan.state | 0x1,0x7 |
| HARD_MAX | 0 | wl->scan.state | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_channels | |
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_ssids | |
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct wl1271)->mutex |
drivers/net/wireless/ti/wl12xx/scan.c wl1271_scan_stm() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->ap_get_mimo_wide_rate_mask | 0,5237986441602469888 |
| PARAM_VALUE | 0 | wl->ops->convert_fw_status | 5812645341067567104,9081742725117689856 |
| PARAM_VALUE | 0 | wl->ops->get_rx_buf_align | 5089368472416313344,6486494890565001216 |
| PARAM_VALUE | 0 | wl->ops->lnk_high_prio | 791713942995337216,6702158564544282624 |
| PARAM_VALUE | 0 | wl->ops->pre_pkt_send | 0,3217367078932590592 |
| PARAM_VALUE | 0 | wl->ops->prepare_read | 0,4646267435828973568 |
| PARAM_VALUE | 0 | wl->ops->set_rx_csum | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->sta_get_ap_rate_mask | 374441544654487552,2701580250877825024 |
| PARAM_VALUE | 0 | wl->ops->tx_delayed_compl | 0,1232953524554362880 |
| PARAM_VALUE | 0 | wl->ops->tx_immediate_compl | 0,7163884938520678400 |
| PARAM_VALUE | 0 | wl->scan.state | 4 |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | *wl->tx_allocated_pkts | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_pkts_freed | 0-4294967295 |
| PARAM_VALUE | 1 | wlvif | 4096-ptr_max |
| PARAM_VALUE | 1 | wlvif->bitrate_masks | 4096-ptr_max |
| BUF_SIZE | 0 | wl->scan_wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_channels | |
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_ssids | |
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct wl1271)->mutex |
drivers/net/wireless/ti/wl12xx/scan.c wl1271_scan_stm() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->ap_get_mimo_wide_rate_mask | 0,5237986441602469888 |
| PARAM_VALUE | 0 | wl->ops->convert_fw_status | 5812645341067567104,9081742725117689856 |
| PARAM_VALUE | 0 | wl->ops->get_rx_buf_align | 5089368472416313344,6486494890565001216 |
| PARAM_VALUE | 0 | wl->ops->lnk_high_prio | 791713942995337216,6702158564544282624 |
| PARAM_VALUE | 0 | wl->ops->pre_pkt_send | 0,3217367078932590592 |
| PARAM_VALUE | 0 | wl->ops->prepare_read | 0,4646267435828973568 |
| PARAM_VALUE | 0 | wl->ops->set_rx_csum | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->sta_get_ap_rate_mask | 374441544654487552,2701580250877825024 |
| PARAM_VALUE | 0 | wl->ops->tx_delayed_compl | 0,1232953524554362880 |
| PARAM_VALUE | 0 | wl->ops->tx_immediate_compl | 0,7163884938520678400 |
| PARAM_VALUE | 0 | wl->scan.state | 5 |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | *wl->tx_allocated_pkts | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_pkts_freed | 0-4294967295 |
| PARAM_VALUE | 1 | wlvif | 4096-ptr_max |
| PARAM_VALUE | 1 | wlvif->bitrate_masks | 4096-ptr_max |
| BUF_SIZE | 0 | wl->scan_wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| BUF_SIZE | 1 | wlvif | (-1),1408 |
| CAPPED_DATA | 0 | wl->scan.req->n_channels | 1 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_channels | |
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_ssids | |
| HALF_LOCKED2 | 0 | &wl->mutex | |
| TYPE_LOCK | (struct wl1271)->mutex |
drivers/net/wireless/ti/wl12xx/scan.c wl12xx_scan_completed() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->driver_data->buffer_cmd | 0-2684354559 |
| PARAM_VALUE | 0 | wl->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | wl->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | wl->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->fw_fast_lnk_map | 0-u32max |
| PARAM_VALUE | 0 | wl->fw_status | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->fw_status->counters.tx_released_pkts | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->fw_status->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mbox | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mbox_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wl->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wl->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | wl->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wl->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | wl->num_links | 0-64 |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops->tx_delayed_compl | 0,1232953524554362880 |
| PARAM_VALUE | 0 | wl->rtable | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | wl->scan_complete_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | wl->scan_wlvif | 1-u64max |
| PARAM_VALUE | 0 | *wl->tx_allocated_pkts | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_pkts_freed | 0-4294967295 |
| PARAM_VALUE | 0 | *wl->tx_queue_count | s32min-s32max |
| PARAM_VALUE | 1 | wlvif | 1-u64max |
| CAPPED_DATA | 0 | wl->curr_part.mem.start | 1 |
| CAPPED_DATA | 0 | wl->num_links | 1 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &wl->mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct wl1271)->mutex |
drivers/net/wireless/ti/wl12xx/scan.c wl12xx_scan_start() -> wl1271_scan_stm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wl | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->scan.failed | 1 |
| PARAM_VALUE | 0 | wl->scan.req | 4096-ptr_max |
| PARAM_VALUE | 0 | wl->scan.req->n_channels | 0-64 |
| PARAM_VALUE | 0 | wl->scan.ssid_len | 0-255 |
| PARAM_VALUE | 0 | wl->scan.state | 1 |
| BUF_SIZE | 0 | wl->scan.req | 136 |
| BUF_SIZE | 0 | wl->scan_wlvif | 1408 |
| BUF_SIZE | 1 | wlvif | 1408 |
| BUF_SIZE | 1 | wlvif | 1408 |
| DATA_SOURCE | 0 | wl | $0 |
| DATA_SOURCE | 1 | wlvif | $1 |
| FUZZY_MAX | 0 | wl->scan.ssid_len | 0 |
| MEM_ZERO | 0 | wl->scan.scanned_ch | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wl->scan.req->n_channels | |
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| TYPE_LOCK | (struct wl1271)->mutex |