Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/prestera/prestera_main.c prestera_lag_port_add() -> prestera_lag_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 1 lag 4096-ptr_max
PARAM_VALUE 1 lag->dev 4096-ptr_max
PARAM_VALUE 1 lag->member_count 0
CAPPED_DATA 0 sw->lag_max 1
PARAM_COMPARE 1 lag->member_count < $0->lag_member_max
NOCHECK_CALL

drivers/net/ethernet/marvell/prestera/prestera_main.c prestera_lag_port_del() -> prestera_lag_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 1 lag 4096-ptr_max
PARAM_VALUE 1 lag->dev 4096-ptr_max
PARAM_VALUE 1 lag->member_count 0
NOCHECK_CALL