Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_rx() -> mvpp2_buff_hdr_pool_put()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 port->dev->dev.parent->dma_mask 4096-ptr_max
PARAM_VALUE 0 port->dev->dev.parent->flags 4096-ptr_max
PARAM_VALUE 0 port->priv 4096-ptr_max
PARAM_VALUE 0 port->priv->bm_pools 4096-ptr_max
PARAM_VALUE 0 port->priv->percpu_pools 0-1
PARAM_VALUE 0 port->rxqs 4096-ptr_max
PARAM_VALUE 0 *port->dev->name 0-255
PARAM_VALUE 1 rx_desc 4096-ptr_max
PARAM_VALUE 2 pool 0-7
DATA_SOURCE 0 port $0
DATA_SOURCE 1 rx_desc r mvpp2_rxq_next_desc_get
DATA_SOURCE 3 rx_status r mvpp2_rxdesc_status_get
BIT_INFO 3 rx_status 0x80000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read