Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/sdio.c nxpwifi_sdio_remove() -> nxpwifi_deauthenticate_all()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->card->reg 4096-ptr_max
PARAM_VALUE 0 adapter->priv_num 1-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex