Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mac802154/llsec.c llsec_do_decrypt() -> llsec_do_decrypt_unauth()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0-4294967295
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 skb->pkt_type 0-1,3
PARAM_VALUE 1 sec 4096-ptr_max
PARAM_VALUE 1 sec->lock.dep_map->name 0-255
PARAM_VALUE 1 sec->params.enabled 1
PARAM_VALUE 2 hdr 4018728930897592320
PARAM_VALUE 2 hdr->dest.extended_addr 0-255
PARAM_VALUE 2 hdr->dest.mode 0,2-3
PARAM_VALUE 2 hdr->dest.pan_id 0-255
PARAM_VALUE 2 hdr->dest.short_addr 0-255
PARAM_VALUE 2 hdr->fc.security_enabled 1
PARAM_VALUE 2 hdr->fc.version 1-3
PARAM_VALUE 2 hdr->sec.frame_counter 0-255
PARAM_VALUE 2 hdr->sec.level 4
PARAM_VALUE 2 hdr->source.extended_addr 0-255
PARAM_VALUE 2 hdr->source.mode 0,2-3
PARAM_VALUE 2 hdr->source.pan_id 0-255
PARAM_VALUE 2 hdr->source.short_addr 0-255
PARAM_VALUE 3 key 4096-ptr_max
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb (-1),240
DATA_SOURCE 0 skb $0
DATA_SOURCE 1 sec $1
DATA_SOURCE 2 hdr $2
DATA_SOURCE 3 key $3
DATA_SOURCE 4 dev_addr $4
FUZZY_MAX 0 skb->pkt_type 3
HARD_MAX 0 skb->pkt_type 3
RX_PATH
TASK_NOT_RUNNING