Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_tx_sm_prio_stop_wait_entry() -> bna_tx_enet_stop()

Type Parameter Key Value
PARAM_VALUE 0 tx 4096-ptr_max
PARAM_VALUE 0 tx->bna 4096-ptr_max
PARAM_VALUE 0 tx->fsm 1416333704480784384
PARAM_VALUE 0 tx->hw_id 0-255
PARAM_VALUE 0 tx->tcb_destroy_cbfn 3998656790056484864
PARAM_VALUE 0 tx->tcb_setup_cbfn 396028722910801920
PARAM_VALUE 0 tx->tx_cleanup_cbfn 7852846573800251392
PARAM_VALUE 0 tx->tx_resume_cbfn 4664024243342581760
PARAM_VALUE 0 tx->tx_stall_cbfn 6392965242460594176
PARAM_VALUE 0 tx->txf_vlan_id 0
PARAM_VALUE 0 tx->type 0
DATA_SOURCE 0 tx $0
NOCHECK_CALL

drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_tx_sm_started() -> bna_tx_enet_stop()

Type Parameter Key Value
PARAM_VALUE 0 tx 4096-ptr_max
PARAM_VALUE 0 tx->bna 4096-ptr_max
PARAM_VALUE 0 tx->fsm 4311783127941279744
PARAM_VALUE 0 tx->hw_id 0-255
PARAM_VALUE 0 tx->tcb_destroy_cbfn 3998656790056484864
PARAM_VALUE 0 tx->tcb_setup_cbfn 396028722910801920
PARAM_VALUE 0 tx->tx_cleanup_cbfn 7852846573800251392
PARAM_VALUE 0 tx->tx_resume_cbfn 4664024243342581760
PARAM_VALUE 0 tx->tx_stall_cbfn 6392965242460594176
PARAM_VALUE 0 tx->txf_vlan_id 0
PARAM_VALUE 0 tx->type 0
BUF_SIZE 0 tx->stop_cbarg (-1),136
DATA_SOURCE 0 tx $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bnad->bna_lock
HALF_LOCKED2 &bnad->conf_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_tx_sm_stop_wait() -> bna_tx_enet_stop()

Type Parameter Key Value
PARAM_VALUE 0 tx 4096-ptr_max
PARAM_VALUE 0 tx->bna 4096-ptr_max
PARAM_VALUE 0 tx->fsm 4096-ptr_max
PARAM_VALUE 0 tx->hw_id 0-255
PARAM_VALUE 0 tx->tcb_destroy_cbfn 3998656790056484864
PARAM_VALUE 0 tx->tcb_setup_cbfn 396028722910801920
PARAM_VALUE 0 tx->tx_cleanup_cbfn 7852846573800251392
PARAM_VALUE 0 tx->tx_resume_cbfn 4664024243342581760
PARAM_VALUE 0 tx->tx_stall_cbfn 6392965242460594176
PARAM_VALUE 0 tx->txf_vlan_id 0
PARAM_VALUE 0 tx->type 0
CAPPED_DATA 0 tx->num_txq 1
CAPPED_DATA 0 tx->rid 1
DATA_SOURCE 0 tx $0
NOCHECK_CALL