Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_vsc7514.c mscc_ocelot_init_ports() -> ocelot_port_devlink_init()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->dev 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 ocelot->devlink_ports 1-u64max
PARAM_VALUE 0 ocelot->num_phys_ports 1-255
PARAM_VALUE 0 ocelot->ports 1-u64max
PARAM_VALUE 1 port 0-254
PARAM_VALUE 2 flavour 0
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot->devlink_ports 0-120360
BUF_SIZE 0 ocelot->ports 0-2040
CAPPED_DATA 1 port 1
PARAM_COMPARE 0 ocelot->num_phys_ports > $1
PARAM_COMPARE 1 port < $0->num_phys_ports
CONSTRAINT 1 port <1518
MEM_ZERO 0 ocelot->devlink_ports
MEM_ZERO 0 ocelot->ports
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ocelot->num_phys_ports
UNITS 0 ocelot unit_byte
UNITS 1 port unit_array_size

drivers/net/ethernet/mscc/ocelot_vsc7514.c mscc_ocelot_init_ports() -> ocelot_port_devlink_init()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->devlink_ports 1-u64max
PARAM_VALUE 0 ocelot->num_phys_ports 1-255
PARAM_VALUE 0 ocelot->ports 1-u64max
PARAM_VALUE 1 port 0-254
PARAM_VALUE 2 flavour 6
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot->devlink_ports 0-120360
BUF_SIZE 0 ocelot->ports 0-2040
CAPPED_DATA 1 port 1
PARAM_COMPARE 0 ocelot->num_phys_ports > $1
PARAM_COMPARE 1 port < $0->num_phys_ports
CONSTRAINT 1 port <1518
MEM_ZERO 0 ocelot->devlink_ports
MEM_ZERO 0 ocelot->ports
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ocelot->num_phys_ports
NO_OVERFLOW_SIMPLE 1 port
UNITS 0 ocelot unit_byte
UNITS 1 port unit_array_size