Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/util.c nxpwifi_process_mgmt_packet() -> nxpwifi_parse_mgmt_packet()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->mgmt_frame_mask 1-u32max
PARAM_VALUE 0 priv->wdev.iftype 1-u32max
PARAM_VALUE 1 payload 4096-ptr_max
PARAM_VALUE 2 len 30-65269
PARAM_VALUE 3 rx_pd 4096-ptr_max
PARAM_VALUE 3 rx_pd->rx_pkt_length 32-65271
BUF_SIZE 1 payload 1-s32max
BUF_SIZE 1 payload 1-s32max
BUF_SIZE 3 rx_pd 1-s32max
BUF_SIZE 3 rx_pd 1-s32max
CAPPED_DATA 3 rx_pd->rx_pkt_offset 1
DATA_SOURCE 0 priv $0
RX_PATH
USER_DATA 1 *payload 0-255
USER_DATA 2 len 30-65269[u]
USER_DATA 3 rx_pd->antenna 0-255[u]
USER_DATA 3 rx_pd->bss_num 0-255[u]
USER_DATA 3 rx_pd->bss_type 0-255[u]
USER_DATA 3 rx_pd->flags 0-255[u]
USER_DATA 3 rx_pd->nf (-128)-127[u]
USER_DATA 3 rx_pd->priority 0-255[u]
USER_DATA 3 rx_pd->rate_info 0-255[u]
USER_DATA 3 rx_pd->rx_info 0-u32max[u]
USER_DATA 3 rx_pd->rx_pkt_length 32-65271[u]
USER_DATA 3 rx_pd->rx_pkt_offset 0-u16max[c]
USER_DATA 3 rx_pd->rx_pkt_type 0-u16max[u]
USER_DATA 3 rx_pd->rx_rate 0-255[u]
USER_DATA 3 rx_pd->seq_num 0-u16max[u]
USER_DATA 3 rx_pd->snr (-128)-127[u]
USER_DATA 3 rx_pd->toa_tod_tstamps 0-u64max[u]
UNITS 1 payload unit_byte
UNITS 2 len unit_byte
UNITS 3 rx_pd unit_byte
USER_PTR 1 payload
USER_PTR 3 rx_pd