Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/xen-netback/netback.c xenvif_tx_build_gops() -> xenvif_set_skb_gso()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->disabled 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 2 gso 8696511422547951616
PARAM_VALUE 2 gso->type 1-255
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 2 gso 40
BUF_SIZE 2 gso 40
DATA_SOURCE 1 skb r xenvif_alloc_skb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read