Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/usb.c ath10k_usb_rx_complete() -> is_trailer_only_msg()

Type Parameter Key Value
PARAM_VALUE 0 pkt 4096-ptr_max
PARAM_VALUE 0 pkt->len 1-u16max
BUF_SIZE 0 pkt 1-s32max
BUF_SIZE 0 pkt 1-s32max
CAPPED_DATA 0 pkt->trailer_len 1
BIT_INFO 0 pkt->flags 0x2,0xff
RX_PATH
USER_DATA 0 pkt->control_byte0 0-255[u]
USER_DATA 0 pkt->control_byte1 0-255[u]
USER_DATA 0 pkt->eid 0-255[u]
USER_DATA 0 pkt->flags 2-255[u]
USER_DATA 0 pkt->len 1-u16max[u]
USER_DATA 0 pkt->pad0 0-255[u]
USER_DATA 0 pkt->pad1 0-255[u]
USER_DATA 0 pkt->pad_len 0-u16max[u]
USER_DATA 0 pkt->seq_no 0-255[u]
USER_DATA 0 pkt->trailer_len 0-255[u]
UNITS 0 pkt unit_byte
USER_PTR 0 pkt
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_mbox_rx_process_packet() -> is_trailer_only_msg()

Type Parameter Key Value
PARAM_VALUE 0 pkt 4096-ptr_max
PARAM_VALUE 0 pkt->skb 4096-ptr_max
DATA_SOURCE 0 pkt $1
RX_PATH
HALF_LOCKED2 &pool->lock