Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/libipw_rx.c libipw_rx_frame_decrypt() -> (struct libipw_crypto_ops)->decrypt_mpdu()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->len 24-u32max
PARAM_VALUE 1 hdr_len 10,16,24,26,30,32
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb->len 1
DATA_SOURCE 0 skb $1
DATA_SOURCE 1 hdr_len r libipw_get_hdrlen
CONTAINER 2 *(-48-16+24) $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->prev->data_len
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->low_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags