Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/brocade/bna/bna_tx_rx.c bna_rxf_mcast_cfg_apply() -> bna_bfi_mcast_add_req()

Type Parameter Key Value
PARAM_VALUE 0 rxf 4096-ptr_max
PARAM_VALUE 0 rxf->bfi_enet_cmd.rit_req.size 0
PARAM_VALUE 0 rxf->fsm 1865999588324327424,1884996349609852928,2660269308185350144,4959300768275791872
PARAM_VALUE 0 rxf->mcast_active_q.prev 4096-ptr_max
PARAM_VALUE 0 rxf->mcast_active_q.prev->next 4096-ptr_max
PARAM_VALUE 0 rxf->mcast_active_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rxf->rss_status 0-1
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_strip_status 0-1
PARAM_VALUE 1 mac 4096-ptr_max
PARAM_VALUE 1 mac->qe.next 4096-ptr_max
PARAM_VALUE 1 mac->qe.next->prev 4096-ptr_max
PARAM_VALUE 1 mac->qe.prev->next 4096-ptr_max
CAPPED_DATA 0 &rxf->mcast_pending_add_q 1
CAPPED_DATA 0 &rxf->mcast_pending_del_q 1
DATA_SOURCE 0 rxf $0
PARAM_COMPARE 0 &rxf->mcast_pending_add_q != $0->mcast_pending_add_q.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rxf->vlan_pending_bitmask 0-255[c][u]