Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/sched/sch_generic.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->queue 1-u64max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_generic.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->queue 1-u64max
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

net/core/page_pool.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size

net/core/page_pool.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size

drivers/net/wireguard/queueing.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/queueing.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

kernel/bpf/cpumap.c __cpu_map_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
DATA_SOURCE 0 r $0
HALF_LOCKED2 &pool->lock

kernel/bpf/cpumap.c __cpu_map_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
HALF_LOCKED2 &pool->lock

kernel/bpf/cpumap.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
DATA_SOURCE 0 r $0
NO_OVERFLOW_SIMPLE 0 r->size

kernel/bpf/cpumap.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
NO_OVERFLOW_SIMPLE 0 r->size

drivers/net/veth.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/veth.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/tap.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/tap.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/tap.c tap_do_read() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireguard/device.c wg_stop() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/device.c wg_stop() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/tun.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex

drivers/net/tun.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex

drivers/net/tun.c tun_queue_purge() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/tun.c tun_queue_purge() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
DATA_SOURCE 0 r $0

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c ptr_ring_cleanup() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PARAM_VALUE 0 *r->queue 0
CAPPED_DATA 0 r->batch 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 0 r $0

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c xe_gt_sriov_pf_migration_restore_consume() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
LOCK2 &pool->lock

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c xe_gt_sriov_pf_migration_ring_free() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c xe_gt_sriov_pf_migration_ring_free() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/xe/xe_gt_sriov_pf_migration.c xe_gt_sriov_pf_migration_save_consume() -> ptr_ring_consume()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
HALF_LOCKED2 &migf->lock