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/netdev.c wilc_wfi_mgmt_rx() -> wilc_wfi_monitor_rx()

Type Parameter Key Value
PARAM_VALUE 1 buff 4096-ptr_max
PARAM_VALUE 2 size 1-u32max
DATA_SOURCE 1 buff $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *buff 0-255
UNITS 2 size unit_byte
LOCK2 &wilc->hif_cs
LOCK2 &wilc->srcu
TYPE_LOCK (struct wilc)->hif_cs
TYPE_LOCK (struct wilc)->srcu