Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/prestera/prestera_main.c prestera_netdev_event_handler() -> prestera_netdevice_lag_event()

Type Parameter Key Value
PARAM_VALUE 0 lag_dev 4096-ptr_max
PARAM_VALUE 0 lag_dev->flags 1024-u32max
PARAM_VALUE 0 lag_dev->netdev_ops 0-6640555592799502335,6640555592799502337-u64max
PARAM_VALUE 0 lag_dev->priv_flags 4-u32max
PARAM_VALUE 2 ptr 4096-ptr_max
DATA_SOURCE 0 lag_dev r netdev_notifier_info_to_dev
DATA_SOURCE 1 event $1
DATA_SOURCE 2 ptr $2
PARAM_COMPARE 0 lag_dev == $2->dev
PARAM_COMPARE 0 lag_dev == $2->dev