Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/atheros/atlx/atl2.c atl2_reinit_locked() -> atl2_up()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.back | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.back->pdev->error_state | 0-2,4-4294967295 |
| PARAM_VALUE | 0 | adapter->hw.hw_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->link_duplex | u16max |
| PARAM_VALUE | 0 | adapter->link_speed | u16max |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->netdev->tx_global_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->phy_config_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | adapter->phy_config_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | adapter->phy_config_timer.function | 0 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.function | 0 |
| CAPPED_DATA | 0 | adapter->netdev->num_tx_queues | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| NOCHECK_CALL |
drivers/net/ethernet/atheros/atlx/atl2.c atl2_resume() -> atl2_up()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.back | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.back->pdev->error_state | 0-2,4-4294967295 |
| PARAM_VALUE | 0 | adapter->hw.hw_addr | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/net/ethernet/atheros/atlx/atl2.c atl2_set_link_ksettings() -> atl2_up()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.MediaType | 0-4 |
| PARAM_VALUE | 0 | adapter->hw.autoneg_advertised | 1-2,4,8,15 |
| PARAM_VALUE | 0 | adapter->hw.back | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.back->pdev->error_state | 0-2,4-4294967295 |
| PARAM_VALUE | 0 | adapter->hw.hw_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->link_duplex | u16max |
| PARAM_VALUE | 0 | adapter->link_speed | u16max |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->netdev->tx_global_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->phy_config_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | adapter->phy_config_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | adapter->phy_config_timer.function | 0 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | adapter->watchdog_timer.function | 0 |
| CAPPED_DATA | 0 | adapter->netdev->num_tx_queues | 1 |
| FUZZY_MAX | 0 | adapter->hw.MediaType | 4 |
| FUZZY_MAX | 0 | adapter->hw.autoneg_advertised | 15 |
| HARD_MAX | 0 | adapter->hw.MediaType | 4 |
| HARD_MAX | 0 | adapter->hw.autoneg_advertised | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |