Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/wiznet/w5100.c w5100_probe() -> w5100_hw_reset()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->irq 0-s32max
PARAM_VALUE 0 priv->napi->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->napi.dev 4096-ptr_max
PARAM_VALUE 0 priv->napi.dev_list.next 4096-ptr_max
PARAM_VALUE 0 priv->napi.dev_list.prev 4096-ptr_max
PARAM_VALUE 0 priv->napi.gro.bitmask 0
PARAM_VALUE 0 priv->napi.gro.cached_napi_id 0
PARAM_VALUE 0 priv->napi.gro.rx_count 0
PARAM_VALUE 0 priv->napi.gro.rx_list.next 4096-ptr_max
PARAM_VALUE 0 priv->napi.gro.rx_list.next->next 4096-ptr_max
PARAM_VALUE 0 priv->napi.gro.rx_list.prev 4096-ptr_max
PARAM_VALUE 0 priv->napi.gro.rx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->napi.gro.rx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->napi.irq (-1)
PARAM_VALUE 0 priv->napi.list_owner (-1)
PARAM_VALUE 0 priv->napi.napi_hash_node.next 0
PARAM_VALUE 0 priv->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 priv->napi.poll 6408059937242750976
PARAM_VALUE 0 priv->napi.poll_list.next 4096-ptr_max
PARAM_VALUE 0 priv->napi.poll_list.next->next 4096-ptr_max
PARAM_VALUE 0 priv->napi.poll_list.prev 4096-ptr_max
PARAM_VALUE 0 priv->napi.poll_list.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->napi.poll_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->napi.poll_owner (-1)
PARAM_VALUE 0 priv->napi.skb 0
PARAM_VALUE 0 priv->napi.thread 0,4096-ptr_max
PARAM_VALUE 0 priv->napi.thread->blocked_on 0
PARAM_VALUE 0 priv->napi.thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 priv->napi.thread->migration_disabled 0-1
PARAM_VALUE 0 priv->napi.thread->on_rq 0-1,3-255
PARAM_VALUE 0 priv->napi.thread->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 priv->napi.thread->saved_state 0
PARAM_VALUE 0 priv->napi.thread->wake_cpu 0-s32max
PARAM_VALUE 0 priv->napi.timer._softexpires 0
PARAM_VALUE 0 priv->napi.timer.base 4096-ptr_max
PARAM_VALUE 0 priv->napi.timer.function 1-u64max
PARAM_VALUE 0 priv->napi.timer.is_hard 0
PARAM_VALUE 0 priv->napi.timer.is_lazy 0
PARAM_VALUE 0 priv->napi.timer.is_queued 0
PARAM_VALUE 0 priv->napi.timer.is_rel 0
PARAM_VALUE 0 priv->napi.timer.is_soft 0
PARAM_VALUE 0 priv->napi.timer.node.expires 0
PARAM_VALUE 0 priv->napi.timer.node.node.next 0
PARAM_VALUE 0 priv->napi.timer.node.node.node.rb_left 0
PARAM_VALUE 0 priv->napi.timer.node.node.prev 0
PARAM_VALUE 0 priv->napi.weight 16
PARAM_VALUE 0 priv->ndev->dev.parent 4096-ptr_max
PARAM_VALUE 0 priv->ops 4808105974781677568,6979947334800674816,7165141800810631168
PARAM_VALUE 0 priv->ops->chip_id 0-2
PARAM_VALUE 0 priv->ops->init 0,1531151885393747968,2132834775500795904
PARAM_VALUE 0 priv->s0_regs 1024,16384,65536
PARAM_VALUE 0 priv->s0_rx_buf 24576,49152,196608
PARAM_VALUE 0 priv->s0_rx_buf_size 8192,16384
PARAM_VALUE 0 priv->s0_tx_buf 16384,32768,131072
PARAM_VALUE 0 priv->s0_tx_buf_size 8192,16384
PARAM_VALUE 0 priv->xfer_wq 4096-ptr_max
BUF_SIZE 0 priv->ops 72
BUF_SIZE 0 priv->xfer_wq (-1),512,528-8720
FUZZY_MAX 0 priv->s0_regs 65536
FUZZY_MAX 0 priv->s0_rx_buf 196608
FUZZY_MAX 0 priv->s0_rx_buf_size 16384
FUZZY_MAX 0 priv->s0_tx_buf 131072
FUZZY_MAX 0 priv->s0_tx_buf_size 16384
BIT_INFO 0 priv->ops 0x40098000000a9000,0x63fff3ffffffd000
BIT_INFO 0 priv->s0_regs 0x0,0x14400
BIT_INFO 0 priv->s0_rx_buf 0x0,0x3e000
BIT_INFO 0 priv->s0_rx_buf_size 0x0,0x6000
BIT_INFO 0 priv->s0_tx_buf 0x0,0x2c000
BIT_INFO 0 priv->s0_tx_buf_size 0x0,0x6000
HARD_MAX 0 priv->s0_regs 65536
HARD_MAX 0 priv->s0_rx_buf 196608
HARD_MAX 0 priv->s0_rx_buf_size 16384
HARD_MAX 0 priv->s0_tx_buf 131072
HARD_MAX 0 priv->s0_tx_buf_size 16384
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/wiznet/w5100.c w5100_remove() -> w5100_hw_reset()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/net/ethernet/wiznet/w5100.c w5100_restart() -> w5100_hw_reset()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/wiznet/w5100.c w5100_resume() -> w5100_hw_reset()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL