Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->queue 0,16,4096-ptr_max
PARAM_VALUE 1 destroy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->size

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

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 1 destroy 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->size

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

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 destroy 0,1640728147833634816
BIT_INFO 1 destroy 0x0,0x16c5098eb89bc000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->size
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->batch 16
PARAM_VALUE 0 r->consumer_head 0
PARAM_VALUE 0 r->consumer_tail 0
PARAM_VALUE 0 r->producer 0
PARAM_VALUE 0 r->queue 16,4096-ptr_max
PARAM_VALUE 0 r->size 1024,4096
PARAM_VALUE 1 destroy 0
MEM_ZERO 0 r
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->size
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->batch 1,16
PARAM_VALUE 0 r->consumer_head 0
PARAM_VALUE 0 r->consumer_tail 0
PARAM_VALUE 0 r->producer 0
PARAM_VALUE 0 r->queue 16,4096-ptr_max
PARAM_VALUE 0 r->size 1-16384
PARAM_VALUE 1 destroy 0
BUF_SIZE 0 r s32min-s32max
DATA_SOURCE 0 r r bpf_map_kmalloc_node
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->size

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

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 0
PARAM_VALUE 1 destroy 0
NOCHECK_CALL

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

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

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

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

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

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

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

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

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

Type Parameter Key Value
DATA_SOURCE 0 r $0
NOCHECK_CALL