Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/ti/cpsw_ethtool.c cpsw_set_ringparam() -> cpdma_set_num_rx_descs()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
CAPPED_DATA 1 num_rx_desc 1
PARAM_COMPARE 0 ctlr->num_rx_desc != $1
PARAM_COMPARE 1 num_rx_desc != $0->num_rx_desc
NOSPEC 1 num_rx_desc
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/ti/cpsw_ethtool.c cpsw_set_ringparam() -> cpdma_set_num_rx_descs()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
PARAM_VALUE 0 ctlr->chan_num s32min-s32max
PARAM_VALUE 0 ctlr->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctlr->num_rx_desc s32min-s32max
PARAM_VALUE 0 ctlr->num_tx_desc s32min-s32max
PARAM_VALUE 0 ctlr->pool 4096-ptr_max
DATA_SOURCE 1 num_rx_desc r cpdma_get_num_rx_descs
NOSPEC 0 ctlr->num_rx_desc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctlr->num_rx_desc 9-s32max[c]