Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/xdp/xsk_buff_pool.c xp_create_and_assign_umem() -> xp_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 0,4096-ptr_max
PARAM_VALUE 0 pool->heads 0-18446744073709551614
BUF_SIZE 0 pool 512-34359738872
BUF_SIZE 0 pool 512-34359738872
BUF_SIZE 0 pool->heads 0-549755813760,u64max
DATA_SOURCE 0 pool r __kvmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xs->mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
TYPE_LOCK (struct xdp_sock)->mutex

net/xdp/xsk_buff_pool.c xp_release_deferred() -> xp_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->cq 0
PARAM_VALUE 0 pool->fq 0
PARAM_VALUE 0 pool->netdev 0
PARAM_VALUE 0 pool->netdev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pool->netdev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pool->netdev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pool->netdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 pool->netdev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pool->netdev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 pool->netdev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->netdev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pool->umem 0,4096-ptr_max
PARAM_VALUE 0 pool->umem->user->uidhash_node->next->pprev 1-u64max
CAPPED_DATA 0 pool->umem 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/xdp/xsk.c xsk_bind() -> xp_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->cached_need_wakeup 2
PARAM_VALUE 0 pool->cq 1-u64max
PARAM_VALUE 0 pool->fq 1-u64max
PARAM_VALUE 0 pool->free_list.next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->heads 16,4096-ptr_max
PARAM_VALUE 0 pool->netdev 4096-ptr_max
PARAM_VALUE 0 pool->netdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pool->netdev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 pool->umem 4096-ptr_max
PARAM_VALUE 0 pool->users.refs.counter 1
PARAM_VALUE 0 pool->uses_need_wakeup 1
PARAM_VALUE 0 pool->xsk_tx_list.next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev->prev 4096-ptr_max
BUF_SIZE 0 pool 512-s32max
BUF_SIZE 0 pool 512-s32max
CAPPED_DATA 0 pool->free_heads_cnt 1
DATA_SOURCE 0 pool r xp_create_and_assign_umem
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->free_heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->tx_descs_nentries
NO_OVERFLOW_SIMPLE 0 pool->umem->chunks
LOCK2 &xs->mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
TYPE_LOCK (struct xdp_sock)->mutex

net/xdp/xsk.c xsk_bind() -> xp_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->cq 1-u64max
PARAM_VALUE 0 pool->fq 1-u64max
PARAM_VALUE 0 pool->free_list.next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->heads 16,4096-ptr_max
PARAM_VALUE 0 pool->umem 4096-ptr_max
PARAM_VALUE 0 pool->users.refs.counter 1
PARAM_VALUE 0 pool->xsk_tx_list.next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->xsk_tx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.next->next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->xskb_list.prev->prev 4096-ptr_max
BUF_SIZE 0 pool 512-s32max
BUF_SIZE 0 pool 512-s32max
CAPPED_DATA 0 pool->free_heads_cnt 1
DATA_SOURCE 0 pool r xp_create_and_assign_umem
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->free_heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->tx_descs_nentries
NO_OVERFLOW_SIMPLE 0 pool->umem->chunks
LOCK2 &xs->mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
TYPE_LOCK (struct xdp_sock)->mutex