Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/page_pool.c page_pool_uninit() -> (struct memory_provider_ops)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc.count 0
PARAM_VALUE 0 pool->dma_mapped.xa_head 0
PARAM_VALUE 0 pool->dma_mapped.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dma_sync 0
PARAM_VALUE 0 pool->mp_ops 4096-ptr_max
PARAM_VALUE 0 pool->mp_ops->alloc_netmems 0,1761926047008235520,4335933877466263552
PARAM_VALUE 0 pool->mp_ops->destroy 0,1819993511236333568,2265117347301466112
PARAM_VALUE 0 pool->mp_ops->init 0,4835332377188921344,4979651178256572416
PARAM_VALUE 0 pool->mp_ops->nl_fill 0,6889271135159848960,6982990036605915136
PARAM_VALUE 0 pool->mp_ops->release_netmem 0,1532267495886376960,2135074621926043648
PARAM_VALUE 0 pool->mp_ops->uninstall 0,6150340140302999552,7986712296291573760
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 pool->p.dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 pool->p.dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pool->p.dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pool->p.dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pool->ring->queue 0
PARAM_VALUE 0 pool->ring.consumer_head s32min-2147483646
PARAM_VALUE 0 pool->ring.consumer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->ring.producer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->user.list->next->pprev 1-u64max
PARAM_VALUE 0 pool->user.list.pprev 0
BUF_SIZE 0 pool (-1)-0,1984
BUF_SIZE 0 pool (-1)-0,1984
CAPPED_DATA 0 pool 1
CAPPED_DATA 0 pool->ring.queue 1
DATA_SOURCE 0 pool $0
CONTAINER 0 -24-1800+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pool->frag_offset 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 pool->ring.size
HALF_LOCKED2 bh