Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ieee802154/mrf24j40.c mrf24j40_tx() -> write_tx_buf()

Type Parameter Key Value
PARAM_VALUE 0 devrec 4096-ptr_max
PARAM_VALUE 0 devrec->tx_skb 4096-ptr_max
PARAM_VALUE 1 reg 0
BUF_SIZE 0 devrec 448
BUF_SIZE 0 devrec 448
BUF_SIZE 0 devrec->tx_skb (-1)-s32max
BUF_SIZE 2 data 1-s32max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 devrec->tx_skb->csum_offset 0-u16max
HOST_DATA 0 devrec->tx_skb->data_len 0-2147483648[c]
HOST_DATA 0 devrec->tx_skb->len 1-u32max[c]
HOST_DATA 0 devrec->tx_skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 devrec->tx_skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 2 *data 0-255
HOST_DATA 3 length 1-u32max[c]
NO_OVERFLOW_SIMPLE 0 devrec->tx_skb->data_len
NO_OVERFLOW_SIMPLE 0 devrec->tx_skb->end
NO_OVERFLOW_SIMPLE 0 devrec->tx_skb->len
NO_OVERFLOW_SIMPLE 0 devrec->tx_skb->tail
NO_OVERFLOW_SIMPLE 0 devrec->tx_skb->truesize
NO_OVERFLOW_SIMPLE 3 length
UNITS 2 data unit_byte
UNITS 3 length unit_byte
USER_PTR 0 devrec->tx_skb->data