Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/xen-netfront.c xennet_start_xmit() -> xennet_make_first_txreq()

Type Parameter Key Value
PARAM_VALUE 0 info 8602588560104947712
PARAM_VALUE 0 info->queue 4096-ptr_max
PARAM_VALUE 0 info->size 0
PARAM_VALUE 0 info->skb 4096-ptr_max
PARAM_VALUE 0 info->tx 0
PARAM_VALUE 0 info->tx_local.flags 0
PARAM_VALUE 0 info->tx_local.gref 0
PARAM_VALUE 0 info->tx_local.id 0
PARAM_VALUE 0 info->tx_local.offset 0
PARAM_VALUE 0 info->tx_local.size 0
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 2 len r skb_headlen
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &queue->tx_lock
LOCK2 flags
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netfront_queue)->tx_lock

drivers/net/xen-netfront.c xennet_xdp_xmit_one() -> xennet_make_first_txreq()

Type Parameter Key Value
PARAM_VALUE 0 info 1172661948227117056
PARAM_VALUE 0 info->queue 4096-ptr_max
PARAM_VALUE 0 info->size 0
PARAM_VALUE 0 info->skb 0
PARAM_VALUE 0 info->tx 0
PARAM_VALUE 0 info->tx_local.flags 0
PARAM_VALUE 0 info->tx_local.gref 0
PARAM_VALUE 0 info->tx_local.id 0
PARAM_VALUE 0 info->tx_local.offset 0
PARAM_VALUE 0 info->tx_local.size 0
PARAM_VALUE 1 offset 0-4095
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte
LOCK2 &queue->tx_lock
LOCK2 irq_flags
HALF_LOCKED2 &queue->rx_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netfront_queue)->tx_lock