Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/cfg80211.c change_virtual_intf() -> wilc_wfi_deinit_mon_interface()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 1 rtnl_locked 1
DATA_SOURCE 0 wl r wiphy_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wdev->wiphy->mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireless/microchip/wilc1000/cfg80211.c del_virtual_intf() -> wilc_wfi_deinit_mon_interface()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 1 rtnl_locked 1
DATA_SOURCE 0 wl r wiphy_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wiphy)->mtx

drivers/net/wireless/microchip/wilc1000/netdev.c wilc_netdev_cleanup() -> wilc_wfi_deinit_mon_interface()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->firmware 0
PARAM_VALUE 0 wl->wiphy->coalesce->n_patterns 4
PARAM_VALUE 0 wl->wiphy->coalesce->n_rules 8
PARAM_VALUE 0 wl->wiphy->coalesce->pattern_max_len 40
PARAM_VALUE 0 wl->wiphy->coalesce->pattern_min_len 1
PARAM_VALUE 0 *wl->wiphy->perm_addr 0-255
PARAM_VALUE 1 rtnl_locked 0
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl->bus_data (-1),24
BUF_SIZE 0 wl->dev (-1),1616
BUF_SIZE 0 wl->rtc_clk (-1),1-s32max
CAPPED_DATA 0 &wl->vif_list 1
DATA_SOURCE 0 wl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wl->wiphy->n_radio
UNITS 0 wl unit_byte
HALF_LOCKED2 &dev->mutex