Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/brocade/bna/bnad.c bnad_setup_rx() -> bnad_rx_msix_register()

Type Parameter Key Value
PARAM_VALUE 0 bnad 4096-ptr_max
PARAM_VALUE 0 bnad->bna.rx_mod.rx_active_q.prev 4096-ptr_max
PARAM_VALUE 0 bnad->bna.rx_mod.rx_active_q.prev->next 4096-ptr_max
PARAM_VALUE 0 bnad->bna.rx_mod.rx_active_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bnad->bna.rx_mod.rxp_free_count (-1)-s32max
PARAM_VALUE 0 bnad->bna.rx_mod.rxq_free_count (-3)-s32max
PARAM_VALUE 0 bnad->bna_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bnad->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bnad->conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 bnad->conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 bnad->netdev 4096-ptr_max
PARAM_VALUE 0 bnad->netdev->lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 bnad->netdev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bnad->netdev->threaded 0
PARAM_VALUE 0 bnad->num_rxp_per_rx 0-s32max
PARAM_VALUE 0 bnad->pcidev 4096-ptr_max
PARAM_VALUE 0 bnad->rx_config 4096-ptr_max
PARAM_VALUE 0 bnad->rx_info 4096-ptr_max
PARAM_VALUE 0 bnad->rx_res_info 4096-ptr_max
PARAM_VALUE 0 *bnad->netdev->name 0
PARAM_VALUE 1 rx_info 4096-ptr_max
PARAM_VALUE 1 rx_info->rx 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->bna 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->ccb_destroy_cbfn 4791501444889980928
PARAM_VALUE 1 rx_info->rx->ccb_setup_cbfn 7731055229127409664
PARAM_VALUE 1 rx_info->rx->fsm 6288190296378736640
PARAM_VALUE 1 rx_info->rx->num_paths 0
PARAM_VALUE 1 rx_info->rx->priv 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->qe.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rcb_destroy_cbfn 0
PARAM_VALUE 1 rx_info->rx->rcb_setup_cbfn 0
PARAM_VALUE 1 rx_info->rx->rx_cleanup_cbfn 5556911987182600192
PARAM_VALUE 1 rx_info->rx->rx_flags 0-1
PARAM_VALUE 1 rx_info->rx->rx_post_cbfn 5597865301567557632
PARAM_VALUE 1 rx_info->rx->rx_stall_cbfn 5317047565430722560
PARAM_VALUE 1 rx_info->rx->rxf.fsm 2660269308185350144
PARAM_VALUE 1 rx_info->rx->rxf.mcast_active_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_active_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_handle_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_handle_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_pending_add_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_pending_add_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_pending_del_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.mcast_pending_del_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.rit_size 0
PARAM_VALUE 1 rx_info->rx->rxf.rss_cfg.hash_type 0,15
PARAM_VALUE 1 rx_info->rx->rxf.rss_pending 0,4-u32max
PARAM_VALUE 1 rx_info->rx->rxf.rss_status 0-1
PARAM_VALUE 1 rx_info->rx->rxf.rx 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.stop_cbarg 0
PARAM_VALUE 1 rx_info->rx->rxf.stop_cbfn 0
PARAM_VALUE 1 rx_info->rx->rxf.ucast_active_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_active_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_active_set 0
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_add_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_add_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_del_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_del_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_mac 0
PARAM_VALUE 1 rx_info->rx->rxf.ucast_pending_set 0
PARAM_VALUE 1 rx_info->rx->rxf.vlan_filter_status 0
PARAM_VALUE 1 rx_info->rx->rxf.vlan_pending_bitmask 255
PARAM_VALUE 1 rx_info->rx->rxf.vlan_strip_status 0-1
PARAM_VALUE 1 rx_info->rx->rxp_q.next 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->rxp_q.prev 4096-ptr_max
PARAM_VALUE 1 rx_info->rx->stop_cbarg 0
PARAM_VALUE 1 rx_info->rx->stop_cbfn 0
PARAM_VALUE 1 rx_info->rx->type 0
CAPPED_DATA 0 bnad->num_rxp_per_rx 1
CAPPED_DATA 1 rx_info->rx_id 1
CAPPED_DATA 2 rx_id 1
DATA_SOURCE 0 bnad $0
DATA_SOURCE 2 rx_id $1
PARAM_COMPARE 0 &bnad->bna.rx_mod.rx_free_q != $0->bna.rx_mod.rx_free_q.next
RX_PATH
TASK_NOT_RUNNING
UNITS 2 rx_id unit_array_size
LOCK2 0 &bnad->conf_mutex
TYPE_LOCK (struct bnad)->conf_mutex