Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/amazon/ena/ena_netdev.c check_for_admin_com_state() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 2 |
| DATA_SOURCE | 0 | adapter | $0 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/amazon/ena/ena_netdev.c check_for_missing_keep_alive() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/amazon/ena/ena_netdev.c check_for_rx_interrupt_queue() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 14 |
| DATA_SOURCE | 0 | adapter | $0 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/amazon/ena/ena_netdev.c check_missing_comp_in_tx_queue() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 14 |
| DATA_SOURCE | 0 | adapter | $0 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/amazon/ena/ena_netdev.c check_missing_comp_in_tx_queue() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 3,15 |
| CAPPED_DATA | 0 | adapter->missing_tx_completion_threshold | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| FUZZY_MAX | 1 | reset_reason | 15 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| BIT_INFO | 1 | reset_reason | 0x3,0xf |
| HARD_MAX | 1 | reset_reason | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_clean_rx_irq() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reset_reason | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_clean_rx_irq() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reset_reason | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_clean_rx_irq() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reset_reason | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_rx_skb() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 4 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_tx_timeout() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 10,15 |
| CAPPED_DATA | 0 | adapter->num_io_queues | 1 |
| FUZZY_MAX | 1 | reset_reason | 15 |
| BIT_INFO | 1 | reset_reason | 0xa,0xf |
| HARD_MAX | 1 | reset_reason | 15 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock |
drivers/net/ethernet/amazon/ena/ena_netdev.c ena_xmit_common() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 8 |
| DATA_SOURCE | 0 | adapter | $0 |
| BIT_INFO | 0 | adapter->msg_enable | 0x0,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ring->xdp_tx_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/amazon/ena/ena_netdev.c handle_invalid_req_id() -> ena_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 1 | reset_reason | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |