Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_cmd_exec() -> rocker_desc_head_set()

Type Parameter Key Value
PARAM_VALUE 0 rocker 4096-ptr_max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 2 desc_info 4096-ptr_max
PARAM_VALUE 2 desc_info->desc 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->cookie->wait.head.next 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->cookie->wait.head.next->next 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->cookie->wait.head.prev 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->cookie->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->cookie->wait.head.prev->prev 4096-ptr_max
DATA_SOURCE 2 desc_info r rocker_desc_head_get
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rocker->cmd_ring.head 0-u32max
HOST_DATA 0 rocker->cmd_ring.mapaddr 0-u64max
HOST_DATA 0 rocker->cmd_ring.type 0-u32max
HOST_DATA 0 rocker->event_ring.head 0-u32max
HOST_DATA 0 rocker->event_ring.mapaddr 0-u64max
HOST_DATA 0 rocker->event_ring.size 32
HOST_DATA 0 rocker->event_ring.tail 0
HOST_DATA 0 rocker->event_ring.type 0-u32max
HOST_DATA 0 rocker->fib_nb.priority s32min-s32max
HOST_DATA 0 rocker->hw.id 0-u64max
HOST_DATA 0 rocker->port_count 1-u32max
HOST_DATA 1 info->head 0-u32max
HOST_DATA 1 info->mapaddr 0-u64max
HOST_DATA 1 info->type 0-u32max
NO_OVERFLOW_SIMPLE 0 rocker->cmd_ring.size
NO_OVERFLOW_SIMPLE 0 rocker->event_ring.size
NO_OVERFLOW_SIMPLE 1 info->size
LOCK2 lock_flags
LOCK2 0 &rocker->cmd_ring_lock
TYPE_LOCK (struct rocker)->cmd_ring_lock

drivers/net/ethernet/rocker/rocker_main.c rocker_dma_ring_pass_to_producer() -> rocker_desc_head_set()

Type Parameter Key Value
PARAM_VALUE 0 rocker 4096-ptr_max
PARAM_VALUE 0 rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rocker->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 rocker->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rocker->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rocker->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rocker->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rocker->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rocker->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 rocker->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 rocker->pdev->subordinate->self->link_bwctrl->cdev 0-s64max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->desc 4096-ptr_max
PARAM_VALUE 1 info->desc_info 4096-ptr_max
PARAM_VALUE 1 info->size 32,64
PARAM_VALUE 1 info->tail 0
PARAM_VALUE 2 desc_info 4096-ptr_max
BUF_SIZE 0 rocker (-1),264
BUF_SIZE 0 rocker (-1),264
BUF_SIZE 0 rocker->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 1 info->size 1
DATA_SOURCE 0 rocker $0
DATA_SOURCE 1 info $1
HARD_MAX 1 info->size 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rocker->fib_nb.priority s32min-s32max
HOST_DATA 0 rocker->hw.id 0-u64max
HOST_DATA 0 rocker->pdev->acs_capabilities 0-u16max
HOST_DATA 0 rocker->pdev->class 0-16777215
HOST_DATA 0 rocker->pdev->current_state 0[c]
HOST_DATA 0 rocker->pdev->devcap 0-u32max
HOST_DATA 0 rocker->pdev->devfn 0-503[c]
HOST_DATA 0 rocker->pdev->device 0-u16max
HOST_DATA 0 rocker->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 rocker->pdev->fm_enabled 0-1[c]
HOST_DATA 0 rocker->pdev->hdr_type 0-255[c]
HOST_DATA 0 rocker->pdev->ide_cfg 0-1[c]
HOST_DATA 0 rocker->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 rocker->pdev->irq 0-255
HOST_DATA 0 rocker->pdev->is_cxl 0-1
HOST_DATA 0 rocker->pdev->multifunction 0-1[c]
HOST_DATA 0 rocker->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 rocker->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 rocker->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 rocker->pdev->pin 0
HOST_DATA 0 rocker->pdev->pme_support 0-31[c]
HOST_DATA 0 rocker->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 rocker->pdev->revision 0-255
HOST_DATA 0 rocker->pdev->subsystem_device 0-u16max
HOST_DATA 0 rocker->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 rocker->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 rocker->pdev->transparent 0[c]
HOST_DATA 0 rocker->pdev->vendor 0-u16max
HOST_DATA 0 rocker->port_count 0-u32max
NO_OVERFLOW_SIMPLE 0 rocker->cmd_ring.size
NO_OVERFLOW_SIMPLE 0 rocker->event_ring.size
NO_OVERFLOW_SIMPLE 1 info->size

drivers/net/ethernet/rocker/rocker_main.c rocker_event_irq_handler() -> rocker_desc_head_set()

Type Parameter Key Value
PARAM_VALUE 0 rocker 4096-ptr_max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 2 desc_info->data->len 0-u16max
PARAM_VALUE 2 desc_info->data->type 0-4294967295
PARAM_VALUE 2 desc_info->desc->comp_err 0-s16max
BUF_SIZE 2 desc_info 0
DATA_SOURCE 0 rocker $1
DATA_SOURCE 2 desc_info r rocker_desc_tail_get
BIT_INFO 2 desc_info 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/rocker/rocker_main.c rocker_port_poll_rx() -> rocker_desc_head_set()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 2 desc_info->data->len 0-u16max
PARAM_VALUE 2 desc_info->data->type 0-4294967295
PARAM_VALUE 2 desc_info->desc->comp_err 0-s16max
PARAM_VALUE 2 desc_info->desc->cookie 0,4096-18446744073709547520
PARAM_VALUE 2 desc_info->desc->cookie->cb->dst0 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->dst1 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->dsthao 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->flags 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->frag_max_size 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->iif s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->cb->lastopt 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->nhoff 40
PARAM_VALUE 2 desc_info->desc->cookie->cb->ptp_type s32min-(-1),1-s32max
PARAM_VALUE 2 desc_info->desc->cookie->cb->ra 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->srcrt 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->cb->srhoff 0-u16max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 2 desc_info->desc->cookie->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->dev->nd_net.net->gen->s.len 0-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 2 desc_info->desc->cookie->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->arfs->arfs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->arfs->filter_count s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->arfs->mode 0-4
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->filters_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->last_filter_id s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->ntp_fltr_count s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->rps_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.cpu s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.timer.flags 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.timer.is_hard 0-1
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.timer.is_lazy 0-1
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.timer.is_queued 0-1
PARAM_VALUE 2 desc_info->desc->cookie->dev->priv->sp_task.timer.is_soft 0-1
PARAM_VALUE 2 desc_info->desc->cookie->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 2 desc_info->desc->cookie->next->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->next->sk->ns_tracker->dead 0-1
PARAM_VALUE 2 desc_info->desc->cookie->next->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->offload_fwd_mark 1
PARAM_VALUE 2 desc_info->desc->cookie->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 2 desc_info->desc->cookie->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 2 desc_info->desc->cookie->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 2 desc_info->desc->cookie->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 desc_info->desc->cookie->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->sk->ns_tracker->dead 0-1
PARAM_VALUE 2 desc_info->desc->cookie->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 desc_info->desc->cookie->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 2 desc_info->desc->cookie->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 2 desc_info->desc->cookie->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 2 desc_info->desc->cookie->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
BUF_SIZE 2 desc_info 0
DATA_SOURCE 2 desc_info r rocker_desc_tail_get
BIT_INFO 2 desc_info 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/rocker/rocker_main.c rocker_port_xmit() -> rocker_desc_head_set()

Type Parameter Key Value
PARAM_VALUE 0 rocker 4096-ptr_max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 2 desc_info 4096-ptr_max
PARAM_VALUE 2 desc_info->desc 4096-ptr_max
PARAM_VALUE 2 desc_info->desc->comp_err 0-s16max
PARAM_VALUE 2 desc_info->desc->cookie 4096-18446744073709547520
DATA_SOURCE 2 desc_info r rocker_desc_head_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read