Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/cfg80211.c get_station() -> wilc_get_inactive_time()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->iftype 1,3
PARAM_VALUE 0 vif->priv.assoc_stainfo.sta_associated_bss 4096-ptr_max
PARAM_VALUE 2 out_val 2301093777470345216
PARAM_VALUE 2 *out_val 0
BUF_SIZE 1 mac (-1),6
BUF_SIZE 1 mac (-1),6
DATA_SOURCE 1 mac $2
FUZZY_MAX 0 vif->iftype 3
BIT_INFO 0 vif->iftype 0x1,0x3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *mac 0-255
USER_PTR 1 mac
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rdev->wiphy.mtx