Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/emulex/benet/be_main.c be_clear_queues() -> be_tx_queues_destroy()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->et_cmd_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->mbox_mem.va->compl.flags 0
PARAM_VALUE 0 adapter->mcc_obj.cq.created 0
PARAM_VALUE 0 adapter->mcc_obj.cq.dma_mem.va 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->stats_cmd_sent 0
PARAM_VALUE 0 adapter->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->netdev->name 0-255
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
CAPPED_DATA 0 adapter->num_rx_qs 1
DATA_SOURCE 0 adapter $0
NOSPEC 0 adapter->num_vfs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->pdev->current_state 0-3[c]
HOST_DATA 0 adapter->pdev->devfn 0-255[c]
USER_DATA 0 adapter->cfg_num_tx_irqs 0-u16max[c]
USER_DATA 0 adapter->num_vfs 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 adapter->num_vfs
UNITS 0 adapter unit_byte