Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/efx_common.c efx_siena_reset() -> (struct efx_nic_type)->reset()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 efx->net_dev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->ev_probe 4096-ptr_max
PARAM_VALUE 0 efx->type->fini 0,4096-ptr_max
PARAM_VALUE 0 efx->type->fini_dmaq 4096-ptr_max
PARAM_VALUE 0 efx->type->irq_disable_non_ev 4096-ptr_max
PARAM_VALUE 0 efx->type->mem_bar 0,4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-6
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 1 reset_type 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 reset_type $1
FUZZY_MAX 1 reset_type 6
CONTAINER 0 -88-72+0 $(-1)
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
BIT_INFO 1 reset_type 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 efx->num_mac_stats
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &efx->filter_sem
HALF_LOCKED2 0 &efx->mac_lock

drivers/net/ethernet/sfc/efx.c efx_pm_resume() -> (struct efx_nic_type)->reset()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 efx->pci_dev->is_busmaster 1
PARAM_VALUE 0 efx->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 1 reset_type 2
BUF_SIZE 0 efx s32min-(-2),1-s32max
BUF_SIZE 0 efx s32min-(-2),1-s32max
CONTAINER 0 -88-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/efx_common.c efx_reset() -> (struct efx_nic_type)->reset()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 efx->net_dev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->ev_probe 4096-ptr_max
PARAM_VALUE 0 efx->type->fini 0,4096-ptr_max
PARAM_VALUE 0 efx->type->fini_dmaq 4096-ptr_max
PARAM_VALUE 0 efx->type->irq_disable_non_ev 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-6
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 1 reset_type 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 reset_type $1
FUZZY_MAX 1 reset_type 6
CONTAINER 0 -88-72+0 $(-1)
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
BIT_INFO 1 reset_type 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 efx->num_mac_stats
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &efx->filter_sem
HALF_LOCKED2 0 &efx->mac_lock
HALF_LOCKED2 0 &efx->net_dev->ethtool->rss_lock

drivers/net/ethernet/sfc/siena/efx.c efx_pm_resume() -> (struct efx_nic_type)->reset()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 efx->pci_dev->is_busmaster 1
PARAM_VALUE 0 efx->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 1 reset_type 2
BUF_SIZE 0 efx s32min-(-2),1-s32max
BUF_SIZE 0 efx s32min-(-2),1-s32max
CONTAINER 0 -88-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING