ef4_reset_down identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/sfc/falcon/efx.h, line 194 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/sfc/falcon/efx.c, line 2336 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/efx.c ef4_reset() -> ef4_reset_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->net_dev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->tx_global_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*efx->net_dev->name	0-255
PARAM_VALUE	1	method	0-31,u32max
BUF_SIZE	0	efx	s32min-(-1),1-s32max
BUF_SIZE	0	efx	s32min-(-1),1-s32max
CAPPED_DATA	0	efx->net_dev->num_tx_queues	1
DATA_SOURCE	0	efx	$0
DATA_SOURCE	1	method	$1
FUZZY_MAX	1	method	4
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
BIT_INFO	1	method	0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	efx	unit_byte
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/sfc/falcon/falcon.c falcon_b0_test_chip() -> ef4_reset_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->biu_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->last_irq_cpu	(-1)
PARAM_VALUE	0	efx->mac_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->mac_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	efx->mac_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->mac_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->mac_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->mac_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->mac_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->mac_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	efx->mac_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	efx->mac_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	efx->mac_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->mdio.dev->ml_priv->tpi_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->mdio.dev->priv->adapter->mdio_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->mdio.dev->priv->adapter->mdio_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->mdio.dev->priv->adapter->mdio_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->mdio.dev->priv->biu_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->mdio.dev->priv->hw.mdio_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->mdio.dev->priv->port.phy_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	efx->mdio.dev->priv->port.phy_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->net_dev	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->addr_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->ml_priv->tpi_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->priv->adapter->mdio_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->net_dev->priv->adapter->mdio_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->net_dev->priv->adapter->mdio_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->net_dev->priv->adapter->mdio_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->net_dev->priv->adapter->mdio_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->net_dev->priv->port.phy_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->net_dev->rtnl_link_ops->priv_size	0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE	0	efx->net_dev->tx_global_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->spi_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	efx->nic_data->spi_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	efx->nic_data->stats_disable_count	0-4294967295
PARAM_VALUE	0	efx->nic_data->stats_pending	0-1
PARAM_VALUE	0	efx->nic_data->stats_timer.flags	0-4294967295
PARAM_VALUE	0	efx->nic_data->stats_timer.lockdep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->xmac_poll_required	0-1
PARAM_VALUE	0	efx->phy_data->bad_lp_tries	s32min-s32max
PARAM_VALUE	0	efx->phy_data->bug17190_in_bad_state	0-1
PARAM_VALUE	0	efx->phy_op	4096-ptr_max
PARAM_VALUE	0	efx->selftest_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	efx->state	1
PARAM_VALUE	0	efx->stats_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	efx->type	4096-ptr_max
PARAM_VALUE	0	efx->type->irq_test_generate	4096-ptr_max
PARAM_VALUE	0	efx->type->reconfigure_port	4096-ptr_max
PARAM_VALUE	0	efx->type->test_chip	6574941250558386176
PARAM_VALUE	0	efx->type->test_nvram	4096-ptr_max
PARAM_VALUE	0	*efx->net_dev->name	0-255
PARAM_VALUE	1	method	0
CAPPED_DATA	0	efx->net_dev->num_tx_queues	1
CAPPED_DATA	0	&efx->mac_lock	1
DATA_SOURCE	0	efx	$0
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
NOCHECK_CALL