Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch.c dpaa2_switch_port_tx() -> dpaa2_switch_free_fd()

Type Parameter Key Value
PARAM_VALUE 0 ethsw 4096-ptr_max
PARAM_VALUE 0 ethsw->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ethsw->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ethsw->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ethsw->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ethsw->dev->dma_uses_io_tlb 1
PARAM_VALUE 1 fd 7207090657339625472
PARAM_VALUE 1 fd->simple.addr 0-18446744073709551614
MEM_ZERO 1 fd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 fd->simple.len 0[c]
NO_OVERFLOW_SIMPLE 1 fd->simple.len
HALF_LOCKED2 &net_dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch.c dpaa2_switch_tx_conf() -> dpaa2_switch_free_fd()

Type Parameter Key Value
PARAM_VALUE 0 ethsw 4096-ptr_max
PARAM_VALUE 1 fd 4096-ptr_max
DATA_SOURCE 1 fd $1
NOCHECK_CALL
UNITS 0 ethsw unit_byte