Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/ocelot/felix.c felix_cls_flower_add() -> felix_update_trapping_destinations()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->ops->cls_flower_add 1-u64max
DATA_SOURCE 0 ds $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

drivers/net/dsa/ocelot/felix.c felix_hwtstamp_set() -> felix_update_trapping_destinations()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->ops->port_hwtstamp_set 1-u64max
PARAM_VALUE 0 ds->priv 4096-ptr_max
DATA_SOURCE 0 ds $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/dsa/ocelot/felix.c felix_tag_8021q_change_conduit() -> felix_update_trapping_destinations()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->priv 4096-ptr_max
PARAM_VALUE 1 using_tag_8021q 1
CAPPED_DATA 0 ds 1
DATA_SOURCE 0 ds $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/dsa/ocelot/felix.c felix_tag_proto_setup_shared() -> felix_update_trapping_destinations()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->devlink->index 0-4294967295
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->user_mii_bus->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ds->user_mii_bus->dev.power.wakeirq->status 0-4294967295
CAPPED_DATA 0 ds 1
DATA_SOURCE 0 ds $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ds->num_ports
UNITS 0 ds unit_byte
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &rtnl_mutex