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_rx_sm_rxf_stop_wait() -> bna_rx_enet_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->ccb_destroy_cbfn | 4791501444889980928 |
| PARAM_VALUE | 0 | rx->ccb_setup_cbfn | 7731055229127409664 |
| PARAM_VALUE | 0 | rx->fsm | 4728534427111563264 |
| PARAM_VALUE | 0 | rx->hds_cfg.forced_offset | 0 |
| PARAM_VALUE | 0 | rx->hds_cfg.hdr_type | 0 |
| PARAM_VALUE | 0 | rx->hw_id | 0-255 |
| PARAM_VALUE | 0 | rx->num_paths | 0 |
| PARAM_VALUE | 0 | rx->rcb_destroy_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rcb_setup_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rx_cleanup_cbfn | 5556911987182600192 |
| PARAM_VALUE | 0 | rx->rx_post_cbfn | 5597865301567557632 |
| PARAM_VALUE | 0 | rx->rx_stall_cbfn | 5317047565430722560 |
| PARAM_VALUE | 0 | rx->rxf.fsm | 1865999588324327424,1884996349609852928,2660269308185350144,4959300768275791872 |
| PARAM_VALUE | 0 | rx->rxf.rss_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.start_cbfn | 0,8609529690012553216 |
| PARAM_VALUE | 0 | rx->rxf.stop_cbfn | 0,5073815852737912832 |
| PARAM_VALUE | 0 | rx->rxf.ucast_pending_set | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_filter_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_strip_status | 0-1 |
| PARAM_VALUE | 0 | rx->type | 0 |
| DATA_SOURCE | 0 | rx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_rx_sm_start_stop_wait() -> bna_rx_enet_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->bna | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->ccb_destroy_cbfn | 4791501444889980928 |
| PARAM_VALUE | 0 | rx->ccb_setup_cbfn | 7731055229127409664 |
| PARAM_VALUE | 0 | rx->fsm | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->hds_cfg.forced_offset | 0 |
| PARAM_VALUE | 0 | rx->hds_cfg.hdr_type | 0 |
| PARAM_VALUE | 0 | rx->hw_id | 0-255 |
| PARAM_VALUE | 0 | rx->num_paths | 0 |
| PARAM_VALUE | 0 | rx->rcb_destroy_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rcb_setup_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rx_cleanup_cbfn | 5556911987182600192 |
| PARAM_VALUE | 0 | rx->rx_post_cbfn | 5597865301567557632 |
| PARAM_VALUE | 0 | rx->rx_stall_cbfn | 5317047565430722560 |
| PARAM_VALUE | 0 | rx->rxf.fsm | 1865999588324327424,1884996349609852928,2660269308185350144,4959300768275791872 |
| PARAM_VALUE | 0 | rx->rxf.rss_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.start_cbfn | 0,8609529690012553216 |
| PARAM_VALUE | 0 | rx->rxf.stop_cbfn | 0,5073815852737912832 |
| PARAM_VALUE | 0 | rx->rxf.ucast_pending_set | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_filter_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_strip_status | 0-1 |
| PARAM_VALUE | 0 | rx->type | 0 |
| CAPPED_DATA | 0 | rx->rid | 1 |
| DATA_SOURCE | 0 | rx | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_rx_sm_stop_wait() -> bna_rx_enet_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->bna | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->ccb_destroy_cbfn | 4791501444889980928 |
| PARAM_VALUE | 0 | rx->ccb_setup_cbfn | 7731055229127409664 |
| PARAM_VALUE | 0 | rx->fsm | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->hds_cfg.forced_offset | 0 |
| PARAM_VALUE | 0 | rx->hds_cfg.hdr_type | 0 |
| PARAM_VALUE | 0 | rx->hw_id | 0-255 |
| PARAM_VALUE | 0 | rx->num_paths | 0 |
| PARAM_VALUE | 0 | rx->rcb_destroy_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rcb_setup_cbfn | 0 |
| PARAM_VALUE | 0 | rx->rx_cleanup_cbfn | 5556911987182600192 |
| PARAM_VALUE | 0 | rx->rx_post_cbfn | 5597865301567557632 |
| PARAM_VALUE | 0 | rx->rx_stall_cbfn | 5317047565430722560 |
| PARAM_VALUE | 0 | rx->rxf.fsm | 1865999588324327424,1884996349609852928,2660269308185350144,4959300768275791872 |
| PARAM_VALUE | 0 | rx->rxf.rss_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.start_cbfn | 0,8609529690012553216 |
| PARAM_VALUE | 0 | rx->rxf.stop_cbfn | 0,5073815852737912832 |
| PARAM_VALUE | 0 | rx->rxf.ucast_pending_set | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_filter_status | 0-1 |
| PARAM_VALUE | 0 | rx->rxf.vlan_strip_status | 0-1 |
| PARAM_VALUE | 0 | rx->type | 0 |
| CAPPED_DATA | 0 | rx->rid | 1 |
| DATA_SOURCE | 0 | rx | $0 |
| RX_PATH | |||
| NOCHECK_CALL |