Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_swf_bm_pool_init_percpu() -> mvpp2_rxq_long_pool_set()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->priv 4096-ptr_max
PARAM_VALUE 1 lrxq 0-2147483646
BUF_SIZE 0 port->ethtool_stats (-1),864-896,992-1888
BUF_SIZE 0 port->fwnode (-1)-0,64
BUF_SIZE 0 port->rxqs (-1)-8,32-256
BUF_SIZE 0 port->stats (-1),88
BUF_SIZE 0 port->txqs (-1),64
CAPPED_DATA 0 port->nrxqs 1
CAPPED_DATA 1 lrxq 1
DATA_SOURCE 0 port $0
PARAM_COMPARE 1 lrxq < $0->nrxqs
CONSTRAINT 1 lrxq <1349
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 port->nrxqs
NO_OVERFLOW_SIMPLE 0 port->ntxqs
NO_OVERFLOW_SIMPLE 0 port->pool_long->id
NO_OVERFLOW_SIMPLE 0 port->pool_short->id
NO_OVERFLOW_SIMPLE 1 lrxq
UNITS 1 lrxq unit_array_size

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_swf_bm_pool_init_shared() -> mvpp2_rxq_long_pool_set()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->priv 4096-ptr_max
PARAM_VALUE 1 lrxq 0-s32max
BUF_SIZE 0 port->ethtool_stats (-1),864-896,992-1888
BUF_SIZE 0 port->fwnode (-1)-0,64
BUF_SIZE 0 port->rxqs (-1)-8,32-256
BUF_SIZE 0 port->stats (-1),88
BUF_SIZE 0 port->txqs (-1),64
CAPPED_DATA 1 lrxq 1
DATA_SOURCE 0 port $0
FUZZY_MAX 1 lrxq 0
PARAM_COMPARE 0 port->nrxqs > $1
PARAM_COMPARE 1 lrxq < $0->nrxqs
CONSTRAINT 1 lrxq <1349
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 port->pkt_size 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 port->nrxqs
NO_OVERFLOW_SIMPLE 0 port->ntxqs
NO_OVERFLOW_SIMPLE 0 port->pool_long->id
NO_OVERFLOW_SIMPLE 0 port->pool_short->id
NO_OVERFLOW_SIMPLE 1 lrxq
NO_OVERFLOW_SIMPLE 2 long_pool
UNITS 1 lrxq unit_array_size