rionet_queue_tx_msg identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/rionet.c, line 145 (as a function)

Referenced in 1 files:

drivers/net/rionet.c
- line 198
- line 207

Smatch caller information:

drivers/net/rionet.c rionet_start_xmit() -> rionet_queue_tx_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->data->h_dest	4096-u32max
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->dev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	*skb->data->h_dest	1-255
PARAM_VALUE	1	ndev	4096-ptr_max
PARAM_VALUE	1	ndev->priv->mport	4096-ptr_max
PARAM_VALUE	1	ndev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	ndev	$1
PREEMPT_ADD			<- disables preempt
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
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	1	ndev->group
NO_OVERFLOW_SIMPLE	1	ndev->num_tc
NO_OVERFLOW_SIMPLE	1	ndev->proto_down
NO_OVERFLOW_SIMPLE	1	ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	1	ndev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	1	ndev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	1	ndev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	1	ndev->tx_queue_len
LOCK2		&rnet->tx_lock
LOCK2		flags
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read
HALF_LOCKED2	1	&ndev->tx_global_lock
TYPE_LOCK		(struct rionet_private)->tx_lock

drivers/net/rionet.c rionet_start_xmit() -> rionet_queue_tx_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->data->h_dest	4096-u32max
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->dev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	1	ndev	4096-ptr_max
PARAM_VALUE	1	ndev->priv->mport	4096-ptr_max
PARAM_VALUE	1	ndev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	ndev	$1
PREEMPT_ADD			<- disables preempt
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
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	1	ndev->group
NO_OVERFLOW_SIMPLE	1	ndev->num_tc
NO_OVERFLOW_SIMPLE	1	ndev->proto_down
NO_OVERFLOW_SIMPLE	1	ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	1	ndev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	1	ndev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	1	ndev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	1	ndev->tx_queue_len
LOCK2		&rnet->tx_lock
LOCK2		flags
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read
HALF_LOCKED2	1	&ndev->tx_global_lock
TYPE_LOCK		(struct rionet_private)->tx_lock