Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/smsc/smsc9420.c smsc9420_alloc_new_rx_buffers() -> smsc9420_alloc_rx_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->dev 4096-ptr_max
PARAM_VALUE 0 pd->dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 pd->dev->dsa_ptr 0,4096-ptr_max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pd->dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pd->dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 pd->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 pd->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 pd->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 pd->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 pd->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 pd->rx_buffers 4096-ptr_max
PARAM_VALUE 0 pd->rx_ring 4096-ptr_max
DATA_SOURCE 0 pd $0
PARAM_COMPARE 0 pd->rx_ring_head != $0->rx_ring_tail
PARAM_COMPARE 1 index != $0->rx_ring_head
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/smsc/smsc9420.c smsc9420_alloc_rx_ring() -> smsc9420_alloc_rx_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->int_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pd->ioaddr 4096-ptr_max
PARAM_VALUE 0 pd->pdev 4096-ptr_max
PARAM_VALUE 0 pd->pdev->irq 0
PARAM_VALUE 0 pd->rx_buffers 4096-ptr_max
PARAM_VALUE 0 pd->rx_ring 4096-ptr_max
PARAM_VALUE 0 pd->tx_buffers 4096-ptr_max
PARAM_VALUE 0 pd->tx_ring 4096-ptr_max
PARAM_VALUE 0 pd->tx_ring_head 0
PARAM_VALUE 0 pd->tx_ring_tail 0
PARAM_VALUE 0 *pd->dev->name 0
PARAM_VALUE 1 index 0-127
BUF_SIZE 0 pd->rx_buffers 2048
DATA_SOURCE 0 pd $0
FUZZY_MAX 1 index 127
BIT_INFO 0 pd->msg_enable 0x0,0xffffffff
HARD_MAX 1 index 127
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex