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_enqueue_work()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->fn 4054968317755088896
PARAM_VALUE 0 msg->is_sync 0
PARAM_VALUE 0 msg->vif 4096-ptr_max
PARAM_VALUE 0 msg->vif->hif_drv 4096-ptr_max
BUF_SIZE 0 msg 232
DATA_SOURCE 0 msg r wilc_alloc_work
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->fn 429393082978062336
PARAM_VALUE 0 msg->is_sync 0
BUF_SIZE 0 msg 232
DATA_SOURCE 0 msg r wilc_alloc_work
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->fn 8251798979533651968
PARAM_VALUE 0 msg->is_sync 0
BUF_SIZE 0 msg 232
DATA_SOURCE 0 msg r wilc_alloc_work
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->body.data 4096-ptr_max
PARAM_VALUE 0 msg->fn 5271694213145911296
PARAM_VALUE 0 msg->is_sync 0
PARAM_VALUE 0 msg->vif 4096-ptr_max
PARAM_VALUE 0 msg->vif->hif_drv 4096-ptr_max
BUF_SIZE 0 msg 232
DATA_SOURCE 0 msg r wilc_alloc_work
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->fn 5724009315272712192
PARAM_VALUE 0 msg->is_sync 0
PARAM_VALUE 0 msg->vif 4096-ptr_max
PARAM_VALUE 0 msg->vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 msg->vif->idx 0-1
BUF_SIZE 0 msg 232
CAPPED_DATA 0 msg->vif->idx 1
DATA_SOURCE 0 msg r wilc_alloc_work
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_enqueue_work()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->body.net_info.frame_len 0-254,u16max
PARAM_VALUE 0 msg->body.net_info.mgmt 1-u64max
PARAM_VALUE 0 msg->fn 1888743645389062144
PARAM_VALUE 0 msg->is_sync 0
PARAM_VALUE 0 msg->vif 4096-ptr_max
PARAM_VALUE 0 msg->vif->hif_drv 1-u64max
PARAM_VALUE 0 msg->vif->idx 0-1
BUF_SIZE 0 msg 232
BUF_SIZE 0 msg->body.net_info.mgmt 0-254,u16max
CAPPED_DATA 0 msg->body.net_info.frame_len 1
CAPPED_DATA 0 msg->vif->idx 1
DATA_SOURCE 0 msg r wilc_alloc_work
BIT_INFO 0 msg->body.net_info.frame_len 0x0,0xff
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_enqueue_work()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->fn 8147138296640393216
PARAM_VALUE 0 msg->is_sync 0
PARAM_VALUE 0 msg->vif 4096-ptr_max
PARAM_VALUE 0 msg->vif->hif_drv 4096-ptr_max
PARAM_VALUE 0 msg->vif->idx 0-1
BUF_SIZE 0 msg 232
CAPPED_DATA 0 msg->vif->idx 1
DATA_SOURCE 0 msg r wilc_alloc_work
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_enqueue_work()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->body.mc_info.cnt 0-8,2147483648-u32max
PARAM_VALUE 0 msg->body.mc_info.enabled 0-1
PARAM_VALUE 0 msg->body.mc_info.mc_list 0,16,4096-ptr_max
PARAM_VALUE 0 msg->fn 1805696713220427776
PARAM_VALUE 0 msg->is_sync 0
BUF_SIZE 0 msg 232
BUF_SIZE 0 msg->body.mc_info.mc_list (-1),6
DATA_SOURCE 0 msg r wilc_alloc_work
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msg->body.mc_info.cnt
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex