Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/hif.c listen_timer_cb() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv->remain_on_ch_timer.entry.pprev 0
PARAM_VALUE 0 vif->hif_drv->remain_on_ch_timer.flags 0-4194302
PARAM_VALUE 0 vif->hif_drv->remain_on_ch_timer.function 0
PARAM_VALUE 2 is_sync 0
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/microchip/wilc1000/hif.c timer_connect_cb() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 2 is_sync 0
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/microchip/wilc1000/hif.c timer_scan_cb() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 2 is_sync 0
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/microchip/wilc1000/hif.c wilc_get_stats_async() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv->hif_state 4
PARAM_VALUE 2 is_sync 0
DATA_SOURCE 0 vif $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/microchip/wilc1000/hif.c wilc_gnrl_async_info_received() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv->conn_info.conn_result 1-u64max
PARAM_VALUE 0 vif->idx 0-1
PARAM_VALUE 2 is_sync 0
CAPPED_DATA 0 vif->idx 1
DATA_SOURCE 0 vif r wilc_get_vif_from_idx
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wilc->deinit_lock
LOCK2 &wilc->hif_cs
LOCK2 &wilc->srcu
TYPE_LOCK (struct wilc)->deinit_lock
TYPE_LOCK (struct wilc)->hif_cs
TYPE_LOCK (struct wilc)->srcu

drivers/net/wireless/microchip/wilc1000/hif.c wilc_network_info_received() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv 1-u64max
PARAM_VALUE 0 vif->idx 0-1
PARAM_VALUE 2 is_sync 0
CAPPED_DATA 0 vif->idx 1
DATA_SOURCE 0 vif r wilc_get_vif_from_idx
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wilc->hif_cs
LOCK2 &wilc->srcu
TYPE_LOCK (struct wilc)->hif_cs
TYPE_LOCK (struct wilc)->srcu

drivers/net/wireless/microchip/wilc1000/hif.c wilc_scan_complete_received() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 vif->hif_drv->usr_scan_req.scan_result 1-u64max
PARAM_VALUE 0 vif->idx 0-1
PARAM_VALUE 2 is_sync 0
CAPPED_DATA 0 vif->idx 1
DATA_SOURCE 0 vif r wilc_get_vif_from_idx
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wilc->hif_cs
LOCK2 &wilc->srcu
TYPE_LOCK (struct wilc)->hif_cs
TYPE_LOCK (struct wilc)->srcu

drivers/net/wireless/microchip/wilc1000/hif.c wilc_setup_multicast_filter() -> wilc_alloc_work()

Type Parameter Key Value
PARAM_VALUE 2 is_sync 0
DATA_SOURCE 0 vif $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex