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