Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c page_to_skb() -> virtnet_build_skb()

Type Parameter Key Value
PARAM_VALUE 1 buflen 0-4194303
PARAM_VALUE 3 len 129-u32max
DATA_SOURCE 1 buflen $5
DATA_SOURCE 3 len $4
FUZZY_MAX 3 len 129
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 len 129-s32max[c]
UNITS 1 buflen unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh

drivers/net/virtio_net.c receive_small_build_skb() -> virtnet_build_skb()

Type Parameter Key Value
PARAM_VALUE 1 buflen 0-4194303
PARAM_VALUE 3 len 0-1518
DATA_SOURCE 0 buf $2
DATA_SOURCE 1 buflen $4
DATA_SOURCE 3 len $3
FUZZY_MAX 3 len 1518
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 len 14-1518
UNITS 2 headroom unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh

drivers/net/virtio_net.c receive_small_xdp() -> virtnet_build_skb()

Type Parameter Key Value
DATA_SOURCE 0 buf $4 [m]
DATA_SOURCE 1 buflen $7 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 2 headroom unit_byte
UNITS 3 len unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh