Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/net.c handle_rx() -> get_rx_bufs()

Type Parameter Key Value
PARAM_VALUE 0 nvq 4096-ptr_max
PARAM_VALUE 0 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 0 nvq->vhost_hlen 0,10,12,24
PARAM_VALUE 0 nvq->vq.mutex.dep_map->name 0-255
PARAM_VALUE 0 nvq->vq.mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 nvq->vq.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nvq->vq.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 nvq->vq.mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 nvq->vq.mutex.wait_lock.owner (-1)
PARAM_VALUE 0 nvq->vq.mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 heads 4096-ptr_max
PARAM_VALUE 2 nheads 4096-ptr_max
PARAM_VALUE 4 iovcount 7870150514274029568
PARAM_VALUE 6 log_num 2273714389658570752
PARAM_VALUE 7 quota 1,1024
PARAM_VALUE 8 ndesc 3365971102216105984
BUF_SIZE 0 nvq 38128
BUF_SIZE 0 nvq 38128
FUZZY_MAX 7 quota 1024
BIT_INFO 7 quota 0x0,0x401
HARD_MAX 7 quota 1024
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 nvq->vq.avail_idx 0-u16max
UNITS 3 datalen unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex