Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/page_pool_user.c page_pool_detached() -> netdev_nl_page_pool_event()
| 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_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pool->dma_sync | 0 |
| 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->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 | 1 | cmd | 8 |
| BUF_SIZE | 0 | pool | (-1)-0,1984 |
| BUF_SIZE | 0 | pool | (-1)-0,1984 |
| CAPPED_DATA | 0 | pool | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pool->ring.size | |
| LOCK2 | global &page_pools_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
net/core/page_pool_user.c page_pool_list() -> netdev_nl_page_pool_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cpuid | (-1)-64 |
| PARAM_VALUE | 0 | pool->dma_map | 1 |
| PARAM_VALUE | 0 | pool->dma_mapped.xa_flags | 12 |
| PARAM_VALUE | 0 | pool->dma_mapped.xa_head | 0 |
| PARAM_VALUE | 0 | pool->dma_sync | 1 |
| PARAM_VALUE | 0 | pool->dma_sync_for_cpu | 1 |
| PARAM_VALUE | 0 | pool->mp_ops | 0 |
| 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 | 0 |
| PARAM_VALUE | 0 | pool->p.nid | 0 |
| PARAM_VALUE | 0 | pool->pages_state_release_cnt.counter | 0 |
| PARAM_VALUE | 0 | pool->recycle_stats | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->recycle_stats->cache_full | 0 |
| PARAM_VALUE | 0 | pool->recycle_stats->cached | 0 |
| PARAM_VALUE | 0 | pool->recycle_stats->released_refcnt | 0 |
| PARAM_VALUE | 0 | pool->recycle_stats->ring | 0 |
| PARAM_VALUE | 0 | pool->recycle_stats->ring_full | 0 |
| PARAM_VALUE | 0 | pool->ring.batch | 1,16 |
| PARAM_VALUE | 0 | pool->ring.consumer_head | 0 |
| PARAM_VALUE | 0 | pool->ring.consumer_tail | 0 |
| PARAM_VALUE | 0 | pool->ring.producer | 0 |
| PARAM_VALUE | 0 | pool->ring.queue | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | pool->ring.size | 1-16384 |
| PARAM_VALUE | 0 | pool->slow.netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->slow.netdev->page_pools->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | pool->slow.netdev->page_pools.first | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->system | 1 |
| PARAM_VALUE | 0 | pool->user.list->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->user.list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->user_cnt.refs.counter | 1 |
| PARAM_VALUE | 1 | cmd | 6 |
| BUF_SIZE | 0 | pool | 1984 |
| CAPPED_DATA | 0 | pool | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pool->ring.size | |
| LOCK2 | global &page_pools_lock |
net/core/page_pool_user.c page_pool_unlist() -> netdev_nl_page_pool_event()
| 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_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pool->dma_sync | 0 |
| 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 | 1 | cmd | 7 |
| BUF_SIZE | 0 | pool | (-1)-0,1984 |
| BUF_SIZE | 0 | pool | (-1)-0,1984 |
| CAPPED_DATA | 0 | pool | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | pool->frag_offset | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | pool->ring.size | |
| LOCK2 | global &page_pools_lock | ||
| HALF_LOCKED2 | bh |
net/core/page_pool_user.c page_pool_unreg_netdev() -> netdev_nl_page_pool_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 8 |
| NOCHECK_CALL | |||
| LOCK2 | global &page_pools_lock |