Open Menu /

Defined in 1 files as a prototype:

Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/ethernet/natsemi/ns83820.c ns83820_do_isr() -> kick_tx()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r PRIV
PARAM_COMPARE 0 dev->tx_free_idx != $0->tx_idx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/ethernet/natsemi/ns83820.c ns83820_hard_start_xmit() -> kick_tx()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->tx_free_idx 1
CAPPED_DATA 0 &dev->pci_dev->dev 1
DATA_SOURCE 0 dev r PRIV
BIT_INFO 0 dev->CFG_cache 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read