Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/net.c handle_tx_copy() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->done_idx 64
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 2 sock 4096-ptr_max
PARAM_VALUE 2 sock->sk 4096-ptr_max
PARAM_VALUE 3 msghdr 6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64,32832
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_iter.__iov 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_iter.bvec 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
BUF_SIZE 2 sock s32min-(-2),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 sock $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
UNITS 2 sock unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->batched_xdp 0
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 1 nvq->vq.num 0-s32max
PARAM_VALUE 2 sock 4096-ptr_max
PARAM_VALUE 2 sock->sk 4096-ptr_max
PARAM_VALUE 3 msghdr 6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64,32832
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_iter.__iov 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_iter.bvec 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
BUF_SIZE 2 sock s32min-(-2),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 sock $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
UNITS 2 sock unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->batched_xdp 0
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 1 nvq->vq.private_data 4096-ptr_max
PARAM_VALUE 2 sock 4096-ptr_max
PARAM_VALUE 2 sock->sk 4096-ptr_max
PARAM_VALUE 2 sock->sk->sk_sndbuf s32max
PARAM_VALUE 3 msghdr 6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_iter.__iov 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_iter.bvec 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
BUF_SIZE 2 sock s32min-(-2),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 sock $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
UNITS 2 sock unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 1 nvq->vq.private_data 4096-ptr_max
PARAM_VALUE 2 sock 4096-ptr_max
PARAM_VALUE 2 sock->sk 4096-ptr_max
PARAM_VALUE 2 sock->sk->sk_sndbuf s32max
PARAM_VALUE 3 msghdr 6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_iter.__iov 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_iter.bvec 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
BUF_SIZE 2 sock s32min-(-2),1-s32max
CAPPED_DATA 1 nvq->sock_hlen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 sock $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
UNITS 2 sock unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->batched_xdp 0-1
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 2 sock 4096-ptr_max
PARAM_VALUE 2 sock->sk 4096-ptr_max
PARAM_VALUE 3 msghdr 6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64,32832
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_iter.__iov 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_iter.bvec 0,4096-u64max
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
BUF_SIZE 2 sock s32min-(-2),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 sock $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
UNITS 2 sock unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c vhost_net_tx_get_vq_desc() -> vhost_tx_batch()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->vqs 4096-ptr_max
PARAM_VALUE 1 nvq 4096-ptr_max
PARAM_VALUE 1 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 1 nvq->upend_idx 0-1023
PARAM_VALUE 1 nvq->vq.busyloop_timeout 1-u32max
PARAM_VALUE 1 nvq->vq.dev->byte_weight (-2147483647)-s32max
PARAM_VALUE 3 msghdr 4386511803419406336,6841281207476211712
PARAM_VALUE 3 msghdr->msg_control 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_control_user 0,602876650504908800,9010618188788781056
PARAM_VALUE 3 msghdr->msg_controllen 0,16
PARAM_VALUE 3 msghdr->msg_flags 64,32832
PARAM_VALUE 3 msghdr->msg_inq 0
PARAM_VALUE 3 msghdr->msg_name 0
PARAM_VALUE 3 msghdr->msg_ubuf 0
BUF_SIZE 1 nvq 19064
BUF_SIZE 2 sock s32min-(-2),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 1 nvq $1
DATA_SOURCE 3 msghdr $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 nvq->vq.avail_idx 0-u16max
HOST_DATA 1 nvq->vq.signalled_used 0-u16max
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex