Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/tun.c tun_ptr_free() -> __skb_array_destroy_skb()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr (-1)-s32max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &r->consumer_lock
HALF_LOCKED2 &r->producer_lock
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_generic.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/core/page_pool.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

kernel/bpf/cpumap.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
NOCHECK_CALL

drivers/net/veth.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/tap.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/tun.c ptr_ring_cleanup() -> ptr_ring_cleanup param 1()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r ptr_ring_consume
NOCHECK_CALL

net/sched/sch_generic.c __ptr_ring_swap_queue() -> __ptr_ring_swap_queue param 4()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r __ptr_ring_consume
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 global &rtnl_mutex

drivers/net/tap.c __ptr_ring_swap_queue() -> __ptr_ring_swap_queue param 4()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r __ptr_ring_consume
NOCHECK_CALL
LOCK2 bh

drivers/net/tun.c __ptr_ring_swap_queue() -> __ptr_ring_swap_queue param 4()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr 1-s32max
BUF_SIZE 0 ptr 1-s32max
DATA_SOURCE 0 ptr r __ptr_ring_consume
NOCHECK_CALL
HALF_LOCKED2 &r->consumer_lock
HALF_LOCKED2 &r->producer_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags