Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/cpumap.c cpu_map_kthread_run() -> __ptr_ring_consume_batched()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 array 4757934156885745664
PARAM_VALUE 2 n 8
BUF_SIZE 1 array 64

drivers/vhost/net.c vhost_net_buf_produce() -> __ptr_ring_consume_batched()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 2 n 64
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->mutex
LOCK2 0 &r->consumer_lock
TYPE_LOCK (struct ptr_ring)->consumer_lock
TYPE_LOCK (struct vhost_virtqueue)->mutex