usbnet_set_skb_tx_stats identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

include/linux/usb/usbnet.h, line 257 (as a function)

Referenced in 6 files:

Smatch caller information:

drivers/net/usb/aqc111.c aqc111_tx_fixup() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	packets	1
PARAM_VALUE	2	bytes_delta	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$1 [m]
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/usb/asix_common.c asix_tx_fixup() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	packets	1
PARAM_VALUE	2	bytes_delta	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$1 [m]
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/usb/usbnet.c usbnet_start_xmit() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	1	packets	1
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
HOST_DATA	2	bytes_delta	0-s32max[c]
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
NO_OVERFLOW_SIMPLE	2	bytes_delta
UNITS	2	bytes_delta	unit_byte
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/usb/ax88179_178a.c ax88179_tx_fixup() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	packets	1-u16max
PARAM_VALUE	2	bytes_delta	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$1
FUZZY_MAX	1	packets	1
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/usb/cdc_ncm.c cdc_ncm_fill_tx_frame() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	packets	1-u16max
PARAM_VALUE	2	bytes_delta	(-4294967295)-4294967295
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->len
UNITS	2	bytes_delta	unit_byte
LOCK2		&ctx->mtx
LOCK2		bh
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct cdc_ncm_ctx)->mtx

drivers/net/usb/sr9800.c sr_tx_fixup() -> usbnet_set_skb_tx_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	packets	1
PARAM_VALUE	2	bytes_delta	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$1 [m]
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read