Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/dsa/user.c dsa_user_get_mm() -> (struct dsa_switch_ops)->get_mm()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->ops 4096-ptr_max
PARAM_VALUE 0 ds->ops->get_mm 1-u64max
PARAM_VALUE 2 state 4096-ptr_max
DATA_SOURCE 2 state $1
CONTAINER 0 -224-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING