Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/sja1105/sja1105_main.c sja1105_fast_age() -> __sja1105_fdb_del()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->dst 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->ops->port_fast_age 1-u64max
PARAM_VALUE 2 addr 5778196244689326080
BUF_SIZE 2 addr 6
CAPPED_DATA 0 ds 1
DATA_SOURCE 0 ds $0
DATA_SOURCE 1 port $1
BIT_INFO 4 db 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &priv->fdb_lock
TYPE_LOCK (struct sja1105_private)->fdb_lock

drivers/net/dsa/sja1105/sja1105_main.c sja1105_fdb_del() -> __sja1105_fdb_del()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
BUF_SIZE 2 addr 6,14,32
BUF_SIZE 2 addr 6,14,32
DATA_SOURCE 0 ds $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 vid $3
DATA_SOURCE 4 db $4
BIT_INFO 4 db 0x0,0x0
UNITS 3 vid unit_array_size
LOCK2 &priv->fdb_lock
HALF_LOCKED2 &dp->addr_lists_lock
TYPE_LOCK (struct sja1105_private)->fdb_lock