Defined in 1 files as a function:
No references found in the database
Smatch caller information:
drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_rxf_sm_cfg_wait() -> bna_rxf_sm_started_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rxf | 4096-ptr_max |
| PARAM_VALUE | 0 | rxf->fsm | 1884996349609852928 |
| PARAM_VALUE | 0 | rxf->rss_status | 0-1 |
| PARAM_VALUE | 0 | rxf->rxmode_pending_bitmask | 1-u32max |
| PARAM_VALUE | 0 | rxf->start_cbfn | 0,8609529690012553216 |
| PARAM_VALUE | 0 | rxf->stop_cbfn | 0,5073815852737912832 |
| PARAM_VALUE | 0 | rxf->ucast_active_set | 0-1 |
| PARAM_VALUE | 0 | rxf->ucast_pending_set | 0 |
| PARAM_VALUE | 0 | rxf->vlan_filter_status | 0-1 |
| PARAM_VALUE | 0 | rxf->vlan_pending_bitmask | 0 |
| PARAM_VALUE | 0 | rxf->vlan_strip_pending | 0 |
| PARAM_VALUE | 0 | rxf->vlan_strip_status | 0-1 |
| DATA_SOURCE | 0 | rxf | $0 |
| PARAM_COMPARE | 0 | &rxf->mcast_pending_add_q | == $0->mcast_pending_add_q.next |
| PARAM_COMPARE | 0 | &rxf->ucast_pending_add_q | == $0->ucast_pending_add_q.next |
| PARAM_COMPARE | 0 | &rxf->ucast_pending_del_q | == $0->ucast_pending_del_q.next |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_rxf_sm_cfg_wait_entry() -> bna_rxf_sm_started_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rxf | 4096-ptr_max |
| PARAM_VALUE | 0 | rxf->fsm | 1884996349609852928 |
| PARAM_VALUE | 0 | rxf->rss_status | 0-1 |
| PARAM_VALUE | 0 | rxf->rxmode_pending_bitmask | 1-u32max |
| PARAM_VALUE | 0 | rxf->start_cbfn | 0,8609529690012553216 |
| PARAM_VALUE | 0 | rxf->stop_cbfn | 0,5073815852737912832 |
| PARAM_VALUE | 0 | rxf->ucast_active_set | 0-1 |
| PARAM_VALUE | 0 | rxf->ucast_pending_set | 0 |
| PARAM_VALUE | 0 | rxf->vlan_filter_status | 0-1 |
| PARAM_VALUE | 0 | rxf->vlan_pending_bitmask | 0 |
| PARAM_VALUE | 0 | rxf->vlan_strip_pending | 0 |
| PARAM_VALUE | 0 | rxf->vlan_strip_status | 0-1 |
| BUF_SIZE | 0 | rxf | (-1),976 |
| BUF_SIZE | 0 | rxf | (-1),976 |
| DATA_SOURCE | 0 | rxf | $0 |
| PARAM_COMPARE | 0 | &rxf->mcast_pending_add_q | == $0->mcast_pending_add_q.next |
| PARAM_COMPARE | 0 | &rxf->ucast_pending_add_q | == $0->ucast_pending_add_q.next |
| PARAM_COMPARE | 0 | &rxf->ucast_pending_del_q | == $0->ucast_pending_del_q.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rxf->vlan_pending_bitmask | 0[c][u] |
| HALF_LOCKED2 | &bnad->bna_lock | ||
| HALF_LOCKED2 | flags |