Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_mm.c ocelot_mm_init() -> ocelot_mm_verify_status()

Type Parameter Key Value
DATA_SOURCE 0 val r ocelot_port_readl
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/mscc/ocelot_mm.c ocelot_mm_update_port_status() -> ocelot_mm_verify_status()

Type Parameter Key Value
DATA_SOURCE 0 val r ocelot_port_readl
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ocelot->fwd_domain_lock
TYPE_LOCK (struct ocelot)->fwd_domain_lock