Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/cfg80211.c nxpwifi_cfg80211_authenticate() -> nxpwifi_form_mgmt_frame()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 1 buf 0-u16max
BUF_SIZE 1 buf 0-u16max
DATA_SOURCE 0 skb r dev_alloc_skb
DATA_SOURCE 1 buf r _kzalloc_noprof
BIT_INFO 1 buf->u.auth.auth_alg 0x0,0x83
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte

drivers/net/wireless/nxp/nxpwifi/cfg80211.c nxpwifi_cfg80211_mgmt_tx() -> nxpwifi_form_mgmt_frame()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 25-1000000000,2147479552
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 1 buf 1-1000000000,2147479552
BUF_SIZE 1 buf 1-1000000000,2147479552
DATA_SOURCE 0 skb r dev_alloc_skb
NOCHECK_CALL