Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sun/niu.c walk_phys() -> niu_divide_rdc_groups()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->id.of 0
PARAM_VALUE 0 parent->num_ports 1-255
PARAM_VALUE 0 parent->plat_type 0-1,3-255
PARAM_VALUE 0 *parent->rxchan_per_port 0-255
PARAM_VALUE 0 *parent->txchan_per_port 0-255
PARAM_VALUE 1 num_10g 0-s32max
PARAM_VALUE 2 num_1g 0-255
BUF_SIZE 0 parent (-1),23624
BUF_SIZE 0 parent (-1),23624
CAPPED_DATA 0 parent->num_ports 1
DATA_SOURCE 0 parent $1
FUZZY_MAX 0 parent->num_ports 4
FUZZY_MAX 0 parent->plat_type 8
FUZZY_MAX 1 num_10g 2
FUZZY_MAX 2 num_1g 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock