Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_vcap.c ocelot_vcap_filter_del_aux_resources() -> ocelot_mirror_put()

Type Parameter Key Value
PARAM_VALUE 0 ocelot->block 4096-ptr_max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
DATA_SOURCE 0 ocelot $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ocelot unit_byte
HALF_LOCKED2 0 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot.c ocelot_port_mirror_del() -> ocelot_mirror_put()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->map 4096-ptr_max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
BUF_SIZE 0 ocelot s32min-(-1),1-s32max
DATA_SOURCE 0 ocelot $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ocelot unit_byte
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock