Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/jme.c jme_start_xmit() -> jme_stop_queue_if_full()

Type Parameter Key Value
PARAM_VALUE 0 jme 4096-ptr_max
PARAM_VALUE 0 jme->dev 4096-ptr_max
PARAM_VALUE 0 jme->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 jme->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 jme->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 jme->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 jme->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *jme->dev->name 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read